static JFrame frameGrowUpper(JFrame f, int howMuch) {
  Rectangle r = f.getBounds();
  f.setBounds(r.x, r.y-howMuch, r.width, r.height+howMuch);
  ret f;
}