static JScrollPane jscroll_centered(Component c) {
  ret new JScrollPane(jFullCenter(c));
}