--- old/src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Target.java	2018-12-05 13:51:45.216890331 -0800
+++ new/src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Target.java	2018-12-05 13:51:45.012992324 -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<>();