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