- Double spinner : listen to decimal arrow button actions
- Spinner : applyInitialValue() applies null if needed
- Allow setting a null value
Merge pull request #15 from rob3rtb/master

SwingWidgetSpinner : support null value