--- a/src/de/mud/terminal/VDUInput.java	Tue Jun 17 22:01:53 2014 -0700
+++ b/src/de/mud/terminal/VDUInput.java	Wed Jun 18 10:10:14 2014 -0700
@@ -72,19 +72,11 @@
     void setKeyCodes(Properties codes);
 
     /**
-     * main keytyping event handler...
+     * keytyping event handler for all the special function and modifier keys
      * @param keyCode the key code
      * @param keyChar the character represented by the key
      * @param modifiers shift/alt/control modifiers
      */
     void keyPressed(int keyCode, char keyChar, int modifiers);
 
-    /**
-     * Handle key Typed events for the terminal, this will get
-     * all normal key types, but no shift/alt/control/numlock.
-     * @param keyCode the key code
-     * @param keyChar the character represented by the key
-     * @param modifiers shift/alt/control modifiers
-     */
-    void keyTyped(int keyCode, char keyChar, int modifiers);
 }