git.eclipse.org / sourceediting / webtools.sourceediting / d64e4d762c6ab94d35ed66000f1caee5eeb0f580 / bundles / org.eclipse.jst.jsp.ui / about.html