private void flushFine() {
int aid = p2i.get(lastProp.getId());
if (lastProp.reactToFineEvent()) {
IntCircularQueue evtset = event_f[aid];
while (!evtset.isEmpty()) {
eventmasks[aid][evtset.pollLast()] = 0;
}
evtset.clear();
}
schedule_f[aid] = false;
}