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