static JScrollPane jscroll_trackHeight(JComponent c) {
  ret jscroll(scrollable_trackHeight(c));
}