Java Platform Module System

[Stephan Herrmann]

A quick editorial comment:

On 29.04.2017 01:25, Alex Buckley wrote:
 > [...] I have changed 7.3 to state:
 >
 > "The host system must use the Java Platform Module System (as if by execution of the 'resolve' method of
 > java.lang.module.Configuration) to determine which modules are read by M (§7.7.1). It is a compile-time error if the Java Platform
 > Module System is unable to determine which modules are read by M."

As of spec version 2017-05-25 I can confirm this issue to be resolved.

Just the location of this definition seems strange to me.
When reading section 7.4, in the very end (in 7.4.3) "reads" is used
with no obvious connection to any definition of what it means.
7.7.1 would have been a more natural location for the definition, IMHO.

Stephan