Changed the appearance of the spinners a bit to line them up more nicely
Made saving slightly more robust (especially regarding saving a result with an empty protocol) and added some logging messages
Decreased the spacing between the two buttons of a number spinner
Merge branch 'master' of github.com:Fingerpaint/project-code

Conflicts:
	fingerpaint/application/src/nl/tue/fingerpaint/client/Fingerpaint.java
Merge branch 'master' of github.com:Fingerpaint/project-code