try {
fReentranceCount++;
Iterator iterator= fListeners.iterator();
while (iterator.hasNext() && event.doit) {
VerifyKeyListener listener= (VerifyKeyListener) iterator.next();
listener.verifyKey(event); // we might trigger reentrant calls on GTK
}
} finally {
fReentranceCount--;
}
if (fReentranceCount == 0)