# HG changeset patch
# User jlahoda
# Date 1495461009 -7200
# Node ID f3802669abd0aa3e6b664829c441dcfe6ea9932e
# Parent  6f188021f8f8fccb3dbe2026fa29fc63707e6817
8180745: Add --release 10 as an alias for --release 9
Reviewed-by: mcimadamore

diff -r 6f188021f8f8 -r f3802669abd0 langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/platform/JDKPlatformProvider.java
--- a/langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/platform/JDKPlatformProvider.java	Fri May 19 04:59:51 2017 +0000
+++ b/langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/platform/JDKPlatformProvider.java	Mon May 22 15:50:09 2017 +0200
@@ -66,7 +66,7 @@
 
     @Override
     public PlatformDescription getPlatform(String platformName, String options) {
-        return new PlatformDescriptionImpl(platformName);
+        return new PlatformDescriptionImpl(platformName.equals("10") ? "9" : platformName);
     }
 
     private static final String[] symbolFileLocation = { "lib", "ct.sym" };
@@ -93,6 +93,10 @@
             } catch (IOException | ProviderNotFoundException ex) {
             }
         }
+
+        if (SUPPORTED_JAVA_PLATFORM_VERSIONS.contains("9")) {
+            SUPPORTED_JAVA_PLATFORM_VERSIONS.add("10");
+        }
     }
 
     private static String targetNumericVersion(Target target) {