Delete UserTypeChecker.java