git.eclipse.org / sourceediting / webtools.sourceediting / 96ee3b5e12456197c36ab78375b32ab9184c53b1 / bundles / org.eclipse.wst.dtd.ui / .settings / org.eclipse.ltk.core.refactoring.prefs