static void frameInnerHeight(final JFrame frame, final int h) {
  swingAndWait(r {
    Container cp = frame.getContentPane();
    Dimension oldSize = cp.getPreferredSize();
    cp.setPreferredSize(new Dimension(cp.getWidth(), h));
    frame.pack();
    cp.setPreferredSize(oldSize);
  });
}