--- old/test/langtools/tools/javac/classfiles/ClassVersionChecker.java	2018-12-05 13:51:54.324334661 -0800
+++ new/test/langtools/tools/javac/classfiles/ClassVersionChecker.java	2018-12-05 13:51:54.144424655 -0800
@@ -47,7 +47,8 @@
         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;