public synchronized void disposeUIResources() {
   if (myEditor != null) {
     myState.state = myEditor.getState();
     myEditor.dispose();
     myEditor = null;
   }
 }