I'm sorry. Another correction.
>
> I wonder if this should do the trick.
>
> What do you think, Alan?
>
> ============ PATCH ============
> diff -r 96c45aa61056
> src/java.base/share/classes/jdk/internal/module/Checks.java
> --- a/src/java.base/share/classes/jdk/internal/module/Checks.java Fri
> Mar 22 13:42:45 2019 +0530
> +++ b/src/java.base/share/classes/jdk/internal/module/Checks.java Fri
> Mar 22 14:30:03 2019 +0100
> @@ -111,6 +111,11 @@
> if (name.indexOf('.') == -1)
> throw new IllegalArgumentException(name + ": is not a qualified
> name
> of"
> + " a Java class in a named
> package");
> + String unqualifiedName = getUnqualifiedClassName(name);
> + if (!"var".equals(unqualifiedName)) {
> + throw new IllegalArgumentException(name + ": Invalid " + what
> + + ": 'var' is not a valid Java class name");
> + }
> return name;
> }
>
Today is not my day. This needs to be of course if
("var".equals(unqualifiedName)).
Cheers,
Christoph
