public void deinstall(JEditorPane pane) { if (Settings.debug) System.err.println("Deinstalling kit from pane"); panes.remove(pane); delegate.deinstall(pane); }