make checkstyle happy