Bugger, I did not realize that we need @Repeatable (http://docs.oracle.com/javase/tutorial/java/annotations/repeating.html). That's of course a bummer. Not only can we not just change the BV built-in constraints, I am also wondering whether we can just add @Repeatable to the HV specific constraints without breaking compatibility with Jav 7. Then again, this seems to be a case of having the right metadata provider.