Merge pull request #4 from diffblue/smowton/feature/class-init-must-not-throw

Mark Class literal initializer must-not-throw

Author: smowton

src/main/java/java/lang/Class.java

@@ -426,6 +426,7 @@ private static boolean desiredAssertionStatus0(Class<?> clazz) {
     // avoid the time-consuming process of enumerating over the constant
     // dictionary's internal array, when generating the Class object non-
     // deterministically.
+    @org.cprover.MustNotThrow
     public void cproverInitializeClassLiteral(
             String name,
             boolean isAnnotation,