mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 07:14:30 +02:00
8087205: Follow-up fix in langtools for JDK-8085822
Reviewed-by: darcy
This commit is contained in:
parent
0c7049ffb2
commit
bbea2ef8bf
1 changed files with 1 additions and 0 deletions
|
@ -169,6 +169,7 @@ public enum SourceVersion {
|
|||
|
||||
switch (specVersion) {
|
||||
case "9":
|
||||
case "1.9":
|
||||
return RELEASE_9;
|
||||
case "1.8":
|
||||
return RELEASE_8;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue