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