KeyEvent (KeyEvent javaKeyEvent, int id) { return new KeyEvent(javaKeyEvent.getComponent(), id, javaKeyEvent.getWhen(), javaKeyEvent.getModifiers(), javaKeyEvent.getKeyCode(), javaKeyEvent.getKeyChar(), javaKeyEvent.getKeyLocation()); }