Merge branch 'master' of ssh://kchong@git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.tests.git