[JEP 120](http://openjdk.java.net/jeps/120) allows the repeated usage of annotations. This can be useful when defining several pre- and postconditions ##
