}
                                public void visit(SComponent c) {                                    if (! (c instanceof SInternalFrame))                                        return;                                    SInternalFrame ff = (SInternalFrame) c;                                    if (ff != frame && ff.isMaximized()) {                                        ff.setMaximized(false);                                        // set _our_ frame maximized, then.                                        frame.setMaximized(true);                                    }                                }