--- old/src/jdk.jdeps/share/classes/com/sun/tools/jdeprscan/Main.java	2018-12-05 13:51:47.243876405 -0800
+++ new/src/jdk.jdeps/share/classes/com/sun/tools/jdeprscan/Main.java	2018-12-05 13:51:47.051972398 -0800
@@ -106,7 +106,7 @@
     // Keep these updated manually until there's a compiler API
     // that allows querying of supported releases.
     final Set<String> releasesWithoutForRemoval = Set.of("6", "7", "8");
-    final Set<String> releasesWithForRemoval = Set.of("9", "10", "11", "12");
+    final Set<String> releasesWithForRemoval = Set.of("9", "10", "11", "12", "13");
 
     final Set<String> validReleases;
     {