org.gjt.sp.jedit.pluginmgr
Class MirrorList

java.lang.Object
  extended byorg.gjt.sp.jedit.pluginmgr.MirrorList

public class MirrorList
extends Object


Nested Class Summary
static class MirrorList.Mirror
           
 
Field Summary
 ArrayList mirrors
           
 
Constructor Summary
MirrorList()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

mirrors

public ArrayList mirrors
Constructor Detail

MirrorList

public MirrorList()
           throws Exception