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