Updated JPMS Public Review Specification

[mark.reinhold at oracle.com]

I've updated the API section of the Public Review Specification [1] to
make two agreed changes:

  - The names of automatic modules, as specified in the `ModuleFinder` [2]
    interface, can include trailing digits, per the accepted proposal [3].

  - The `Module`, `Layer`, and `LayerInstantiationException` classes are
    moved from the `java.lang.reflect` package up into the `java.lang`
    package [4] and the names of the latter two are prefixed with
    `Module`, per the accepted proposal [5].

The JCP PMO will post this update shortly.

- Mark


[1] http://cr.openjdk.java.net/~mr/jigsaw/spec/
[2] http://cr.openjdk.java.net/~mr/jigsaw/spec/api/java/lang/module/ModuleFinder.html#of-java.nio.file.Path...-
[3] http://mail.openjdk.java.net/pipermail/jpms-spec-experts/2017-March/000659.html
[4] http://cr.openjdk.java.net/~mr/jigsaw/spec/api/java/lang/package-summary.html
[5] http://mail.openjdk.java.net/pipermail/jpms-spec-experts/2017-March/000663.html