protected void processKeyReleased(KeyEvent e) {
		super.processKeyReleased(e);
		model.runKeyScript(KeyEvent.KEY_RELEASED, e.getKeyCode());
		// remove pressed bits
		if (isKeyNavigation) {
			navigator.keyReleased(e);
		}
		else {
			keyCode = keyManager.keyReleased(e);
		}
		// MUST not consume this event and leave this to the key binding to work. As a result, key binding
		// must set KeyStroke with onKeyRelease flag set to true.
		// e.consume();
	}