L'evento MouseEvent ha il metodo getModifiers() ereditato da InputEvent,
se contiene CTRL_DOWN_MASK significa che il mouse e' stato clikkato con
il tasto ctrl giu'. Per cui il test diventa:
(event.getModifiers() & InputEvent.CTRL_DOWN_MASK) ==
InputEvent.CTRL_DOWN_MASK