bugfix in .projects
Merge branch 'master' of https://github.com/DB-SE/isp2014.mike.thiede.git