Clazz.declarePackage ("J.util");
Clazz.load (["J.api.JmolPatternMatcher"], "J.util.PatternMatcher", ["java.util.regex.Pattern"], function () {
c$ = Clazz.declareType (J.util, "PatternMatcher", null, J.api.JmolPatternMatcher);
Clazz.overrideMethod (c$, "compile", 
function (sFind, isCaseInsensitive) {
return java.util.regex.Pattern.compile (sFind, isCaseInsensitive ? 2 : 0);
}, "~S,~B");
});
