static JSplitPane jhsplit3(Component a, Component b, Component c) {
  ret jhsplit(a, jhsplit(b, c), 1/3.0);
}