static JScrollPane addToWindowSplitRight_aggressive(Component c, Component toAdd) {
  ret addToWindowSplitRight_f(c, toAdd, func(JComponent c) { jMinWidth_pure(100, c) });
}