Refactoring in Checker.java