/** Invoked when a key has been released. */ public void keyReleased(KeyEvent e) { if (DEBUG) System.out.println("Key Event: " + e.toString()); }