302303304305306307308309310311312
// Leave the event unconsumed. consume = false; break; } if (consume) { event.consume(); } return breakChar; } else { return false; }