change java.util.Date to java.sql.Date in TypeChecker