git.eclipse.org / sourceediting / webtools.sourceediting / dd6f8ba71b56c4f018cd3e664054850633b3072e / docs / org.eclipse.wst.webtools.doc.user / plugin.properties