Update src/Checker.java