Correct spelling mistake, improve Eclipse preferences files.
Authored by: hagru 2016-03-10
Parent: [r84]
Child: [r86]
