edu.rice.cs.drjava.plugins.jedit.JEditPlugin.getDefault().newPane(view);