if (monitoringMouseOver) {
if (event.getTarget() != getElement()
&& !DOM.isOrHasChild(getElement(), (Element) event.getTarget())) {
Document.get().removeListener(Event.ONMOUSEOVER, listener);
monitoringMouseOver = false;
onMouseLeave(new ComponentEvent(this, event));
}
}
}