void (MouseEvent event) { if (event.getID() == MouseEvent.MOUSE_DRAGGED || event.getID() == MouseEvent.MOUSE_MOVED) { ((MyDivider)myDivider).processMouseMotionEvent(event); } else { ((MyDivider)myDivider).processMouseEvent(event); } }