static void growWindowSouth(Component c, final int howMuch) {
  final Window w = getWindow(c);
  if (w != null) swing {
    Rectangle r = w.getBounds();
    w.setBounds(r.x, r.y, r.width, r.height+howMuch);
  }
}