protected void processWindowStateEvent(WindowEvent e) {
for (Iterator<?> i = windowStateListeners.getUserIterator(); i.hasNext();) {
WindowStateListener listener = (WindowStateListener) i.next();
switch (e.getID()) {
case WindowEvent.WINDOW_STATE_CHANGED:
listener.windowStateChanged(e);
break;
}
}
}