Clean up and new spoofax version
jdt.core.prefs file is in spoofax gitignore file