Update PatternMatch.java