annotate Assertions.java