new factor.listener.FactorListenerPanel( factor.jedit.FactorPlugin.getInterpreter());