test/langtools/tools/javac/classfiles/ClassVersionChecker.java

@@ -45,11 +45,12 @@
         SEVEN("7", 51),
         EIGHT("8", 52),
         NINE("9", 53),
         TEN("10", 54),
         ELEVEN("11", 55),
-        TWELVE("12", 56);
+        TWELVE("12", 56),
+        THIRTEEN("13", 57);
 
         private Version(String release, int classFileVer) {
             this.release = release;
             this.classFileVer = classFileVer;
         }