Keep checkstyle happy