Updated Eclipse settings for ScalaIDE 4.0.0 Milestone.
Fixed various typos (backport from master, see also #204).
Updated Changelog and German translations.