public void processKeyEvent(KeyEvent ke_) {
if (_keyListeners != null) {
for (Enumeration<KeyListener> e = _keyListeners.elements();
e.hasMoreElements(); ) {
KeyListener kl = (KeyListener) e.nextElement();
if (ke_.getID() == AWTEvent.KEY_PRESSED)
kl.keyPressed(ke_);
else if (ke_.getID() == AWTEvent.KEY_TYPED)
kl.keyTyped(ke_);
if (ke_.isConsumed())
break;
}
}