org.gjt.sp.jedit.gui.AboutDialog.AboutDialog(View)
org.gjt.sp.jedit.gui.AboutDialog.AboutPanel.handleKeyEvent(KeyEvent)
org.gjt.sp.jedit.gui.AboutDialog.AboutPanel.drain()