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