static Component jhspacer(int w) {
  ret javax.swing.Box.createRigidArea(new Dimension(w, 0));
}