static JSpinner jSpinner(int value) {
  new JSpinner s;
  s.setValue(value);
  ret s;
}