Mark Class literal initializer must-not-throw

Author: smowton

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

@@ -449,6 +449,7 @@ protected void cproverNondetInitialize() {
     // 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,