// f modifies original content pane
// f: Component -> Component
static JSplitPane addToWindowSplitRight_f(Component c, Component toAdd, O f) {
  JFrame frame = getFrame(c);
  JSplitPane sp;
  setContentPane(frame, sp = jhsplit((Component) callF(f, frame.getContentPane()), toAdd));
  ret sp;
}