static Container jVerticalCenter(Component c) {
  Box box = Box.createVerticalBox();
  box.add(Box.createVerticalGlue());
  box.add(c);
  box.add(Box.createVerticalGlue());
  ret box;
}