Grazie, gentilissimo, funziona

Ma il metodo setEditor() cos'altro permette
di fare con lo JSpinner?

Grazie