Merge branch 'R3_9_maintenance' of ssh://canderson@git.eclipse.org/gitroot/jeetools/webtools.javaee.git into R3_9_maintenance