protected void processWindowFocusEvent(WindowEvent e) {
for (Iterator<?> i = windowFocusListeners.getUserIterator(); i.hasNext();) {
WindowFocusListener listener = (WindowFocusListener) i.next();
switch (e.getID()) {
case WindowEvent.WINDOW_GAINED_FOCUS:
listener.windowGainedFocus(e);
break;
case WindowEvent.WINDOW_LOST_FOCUS:
listener.windowLostFocus(e);
break;
}