git.eclipse.org / sourceediting / webtools.sourceediting / 4da2b75af03ed45fd0c6bbea3f1c3f5f2d4b6755 / bundles / org.eclipse.jst.standard.schemas / plugin.properties