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