Tiny thing but can this be the same format as // CHECKSTYLE.OFF:  ? It looks like two different developers have written it ;-)