static JScrollPane jscroll_centered(Component c) {
  ret c cast JScrollPane ? c : jscroll(jFullCenter(c));
}