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