SwingWidgetSpinner : support null value

I made 3 changes in SwingWidgetSpinner :
- Spinner : applyInitialValue() applies null if needed
- Allow setting a null value
- Double spinner : listen to decimal arrow button actions