Merge branch 'master' of https://github.com/nheu/Nit-Plugin-for-Eclipse into mergeNheu