--- old/src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Target.java	2018-12-03 18:11:36.855483000 -0800
+++ new/src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Target.java	2018-12-03 18:11:36.671391000 -0800
@@ -70,7 +70,10 @@
     JDK1_11("11", 55, 0),
 
     /** JDK 12. */
-    JDK1_12("12", 56, 0);
+    JDK1_12("12", 56, 0),
+
+    /** JDK 13. */
+    JDK1_13("13", 57, 0);
 
     private static final Context.Key<Target> targetKey = new Context.Key<>();