ReInstancer: An Automatic Refactoring Approach for Instancerof Pattern Matching