git.eclipse.org / sourceediting / webtools.sourceediting / b2d550ea026f4b4286119a02b0a9267cea909045 / bundles / org.eclipse.wst.xsd.ui / src / org / eclipse / wst / xsd / ui / internal / properties / PatternPropertySource.java