My version for Checker.java