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

static JFrame minFrameWidth(int w, JFrame frame) {
  ret minFrameWidth(frame, w);
}