public void deactivateFrame(JInternalFrame frame) {
public void deactivateFrame(JInternalFrame frame) { JDesktopPane p = frame.getDesktopPane(); if (p != null) { if (p.getSelectedFrame() == frame) p.setSelectedFrame(null); } else { try { frame.setSelected(false); } catch (PropertyVetoException e) { } }
	public void deactivateFrame(JInternalFrame frame) {		// TODO	} // deactivateFrame()