static JFrame minFrameHeight(JFrame frame, int h) {
  if (frame != null && frame.getHeight() < h)
    frame.setSize(frame.getWidth(), h);
  ret frame;
}

static JFrame minFrameHeight(int h, JFrame frame) {
  ret minFrameHeight(frame, h);
}

Began life as a copy of #1004439