Merge branch 'SmartModelNavigation_Maintenance' of ssh://nlepine@git.eclipse.org/gitroot/eef/org.eclipse.eef.git into SmartModelNavigation_Maintenance