git.eclipse.org / sourceediting / webtools.sourceediting / f084435c1903c3267e06844e97560375005a31ac / bundles / org.eclipse.wst.sse.ui / src-encoding / org / eclipse / wst / sse / ui