src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Target.java

*** 68,78 ****
  
      /** JDK 11. */
      JDK1_11("11", 55, 0),
  
      /** JDK 12. */
!     JDK1_12("12", 56, 0);
  
      private static final Context.Key<Target> targetKey = new Context.Key<>();
  
      public static Target instance(Context context) {
          Target instance = context.get(targetKey);
--- 68,81 ----
  
      /** JDK 11. */
      JDK1_11("11", 55, 0),
  
      /** JDK 12. */
!     JDK1_12("12", 56, 0),
! 
!     /** JDK 13. */
!     JDK1_13("13", 57, 0);
  
      private static final Context.Key<Target> targetKey = new Context.Key<>();
  
      public static Target instance(Context context) {
          Target instance = context.get(targetKey);