svoid maximizeOrRestoreFrame(JFrame f) {
  if (f == null) ret;
  //if (isMaximized(f))
  if (!isExtendedStateNormal(f))
    swing { f.setExtendedState(JFrame.NORMAL); }
  else
    maximizeFrame(f);
}