edu.rice.cs.drjava.plugins.jedit.JEditPlugin.getDefault().resetInteractions();
edu.rice.cs.drjava.plugins.jedit.JEditPlugin.getDefault().showClasspath();