added option --pattern-matching to use pattern-matching instead of unification to drive Java Rewrite Engine