static void setFrameHeight(JFrame frame, int h) {
  frame.setSize(frame.getWidth(), h);
}