Merge branch 'master' of ssh://cpontesegger@git.eclipse.org:29418/ease/org.eclipse.ease.modules