static JInternalFrame minInternalFrameWidth(final JInternalFrame frame, final int w) {
  swing {
    if (frame != null && frame.getWidth() < w)
      frame.setSize(w, frame.getHeight());
  }
  ret frame;
}

static JInternalFrame minInternalFrameWidth(int w, JInternalFrame frame) {
  ret minInternalFrameWidth(frame, w);
}