if (controlArb.hasControl()) {
SwingUtilities.invokeLater(new Runnable () {
public void run () {
// Note: currently no special GUI processing is needed for key events
// so they are all just sent to the app group if it has control
controlArb.deliverEvent(view.getWindow(), ke);
}
});
}
}
}