static JComponent jMinHeight(JComponent c, int h) {
  ret jMinHeight(h, c);
}

static JComponent jMinHeight(int h, JComponent c) {
  Dimension size = c.getMinimumSize();
  c.setMinimumSize(new Dimension(size.width, max(h, size.height)));
  ret jPreferHeight(h, c);
}