public void dispose() {
public final void dispose() {
    public void dispose() {        view.setKeyEventInterceptor(null);        textArea.removeFocusListener(textAreaFocusListener);        super.dispose();        if (handleFocusOnDispose) {            SwingUtilities.invokeLater(new Runnable() {                public void run() {                    view.getTextArea().requestFocusInWindow();                }            });        }    }