static JFormattedTextField getTextFieldFromSpinner(JSpinner spinner) {
  ret spinner == null ?: ((JSpinner.DefaultEditor) spinner.getEditor()).getTextField();
}