static <A extends Component> A jMaxHeight_pure(int h, A c) {
  swing {
    Dimension size = c.getMaximumSize();
    c.setMaximumSize(new Dimension(size.width, h));
  }
  ret c;
}

static <A extends Component> A jMaxHeight_pure(A c, int h) {
  ret jMaxHeight_pure(h, c);
}