PatternMatcher.java