static JFrame frameInnerWidth(final int w, final JFrame frame) {
  swing {
    Container cp = frame.getContentPane();
    Dimension oldSize = cp.getPreferredSize();
    cp.setPreferredSize(new Dimension(w, cp.getHeight()));
    frame.pack();
    cp.setPreferredSize(oldSize);
  }
  ret frame;
}