use adapt instead of instanceof in the plugin.xml in order to make sure
taht we correctly retreive the  IProject in the menus
Merge branch 'master' of git@github.com:diverse-project/tools.git