Uses of Class
edu.rice.cs.drjava.model.repl.newjvm.MainJVM.RestartThread

Packages that use MainJVM.RestartThread
edu.rice.cs.drjava.model.repl.newjvm Manages the creation and invocation of the separate JVM used by the interactions pane. 
 

Uses of MainJVM.RestartThread in edu.rice.cs.drjava.model.repl.newjvm
 

Fields in edu.rice.cs.drjava.model.repl.newjvm declared as MainJVM.RestartThread
private  MainJVM.RestartThread MainJVM._restartThread
           
private  MainJVM.RestartThread MainJVM._timerThread