static JScrollPane jscroll_vertical_borderless(JComponent c) {
  ret borderlessScrollPane(jscroll_vertical(c));
}