public void dispose() { if (editor != null) editor.dispose(); editor = null; if (properties != null) properties.dispose(); properties = null; }