}
public void mouseEntered(MouseEvent e) {
AbstractEventDispatcher dispatcher =
(AbstractEventDispatcher)userAgent.getEventDispatcher();
dispatcher.mouseEntered(e);
}
public void mousePressed(MouseEvent e) {
int mods = e.getModifiers();
boolean operationPerformed = false;