test/langtools/tools/javac/versions/Versions.java

*** 67,87 ****
  
      public static final Set<String> RETIRED_SOURCES =
          Set.of("1.2", "1.3", "1.4", "1.5", "1.6");
  
      public static final Set<String> VALID_SOURCES =
!         Set.of("1.7", "1.8", "1.9", "1.10", "11", "12");
  
!     public static final String LATEST_MAJOR_VERSION = "56.0";
  
      static enum SourceTarget {
          SEVEN(true,   "51.0",  "7", Versions::checksrc17),
          EIGHT(true,   "52.0",  "8", Versions::checksrc18),
          NINE(true,    "53.0",  "9", Versions::checksrc19),
          TEN(true,     "54.0", "10", Versions::checksrc110),
          ELEVEN(false, "55.0", "11", Versions::checksrc111),
!         TWELVE(false, "56.0", "12", Versions::checksrc112);
  
          private final boolean dotOne;
          private final String classFileVer;
          private final String target;
          private final BiConsumer<Versions, String[]> checker;
--- 67,88 ----
  
      public static final Set<String> RETIRED_SOURCES =
          Set.of("1.2", "1.3", "1.4", "1.5", "1.6");
  
      public static final Set<String> VALID_SOURCES =
!         Set.of("1.7", "1.8", "1.9", "1.10", "11", "12", "13");
  
!     public static final String LATEST_MAJOR_VERSION = "57.0";
  
      static enum SourceTarget {
          SEVEN(true,   "51.0",  "7", Versions::checksrc17),
          EIGHT(true,   "52.0",  "8", Versions::checksrc18),
          NINE(true,    "53.0",  "9", Versions::checksrc19),
          TEN(true,     "54.0", "10", Versions::checksrc110),
          ELEVEN(false, "55.0", "11", Versions::checksrc111),
!         TWELVE(false, "56.0", "12", Versions::checksrc112),
!         THIRTEEN(false, "57.0", "13", Versions::checksrc113);
  
          private final boolean dotOne;
          private final String classFileVer;
          private final String target;
          private final BiConsumer<Versions, String[]> checker;
*** 291,300 ****
--- 292,306 ----
      protected void checksrc112(String... args) {
          printargs("checksrc112", args);
          checksrc111(args);
      }
  
+     protected void checksrc113(String... args) {
+         printargs("checksrc113", args);
+         checksrc111(args);
+     }
+ 
      protected void pass(String... args) {
          printargs("pass", args);
  
          List<String> jcargs = new ArrayList<String>();
          jcargs.add("-Xlint:-options");