Checkstyle should have complained, shouldn't it? But I'll check it anyway ...