Delete patternmatching.class