static JSplitPane jvsplit(Component north, Component south) {
  ret setSplitPaneLater(
    new JSplitPane(JSplitPane.VERTICAL_SPLIT, wrap(north), wrap(south)),
    0.5);
}