git.eclipse.org / sourceediting / webtools.sourceediting / 8487c6f0aaa9453239b39e2ffdbd3503e6d6a86e / bundles / org.eclipse.wst.sse.ui / .settings / org.eclipse.jdt.ui.prefs