Redo Unique Symbols
Remove JNumericSpinner.

JSpinner does the job just as well.
Merge pull request #472 from agouge/UI

Facelift for Unique Symbols