Fork and mirror of http://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git