static void setFrameWidth(JFrame frame, int w) {
  frame.setSize(w, frame.getHeight());
}