static JScrollPane jscroll_trackWidth(JComponent c) {
  ret jscroll(scrollable_trackWidth(c));
}