--- a/test/langtools/tools/javac/classfiles/ClassVersionChecker.java	Thu Dec 13 17:01:15 2018 +0100
+++ b/test/langtools/tools/javac/classfiles/ClassVersionChecker.java	Thu Dec 13 19:06:11 2018 +0100
@@ -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;