static JFrame increaseFrameHeight(JFrame frame, int delta) {
  frame.setSize(frame.getWidth(), frame.getHeight()+delta);
  ret frame;
}