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