Merge branch 'R3_7_maintenance' of ssh://shung@git.eclipse.org/gitroot/servertools/webtools.servertools.git into R3_7_maintenance
tree: 5bf388bcb303401f2ca46a7006ec21695dcb9b3e
  1. features/
  2. plugins/
  3. .gitignore
  4. pom.xml