public enum Foo

This fails in Clover but passes in javac. The problem is enumBody states that the constant block is mandatory when in fact it is optional.