svoid maximizeInternalFrame(Component c) {
  swing(r {
    JInternalFrame f = getInternalFrame(c);
    if (f != null) f.setMaximum(true);
  });
}