@@ -546,10 +546,11 @@ } } } } + @SuppressWarnings("fallthrough") public void handleEvent(java.awt.AWTEvent e) { if ((e instanceof InputEvent) && !((InputEvent)e).isConsumed() && target.isEnabled()) { if (e instanceof MouseEvent) { if (e instanceof MouseWheelEvent) { handleJavaMouseWheelEvent((MouseWheelEvent) e);