hg: panama/dev: Automatic merge with foreign

[maurizio.cimadamore at oracle.com]

Changeset: 8e80e9eadece
Author:    mcimadamore
Date:      2018-11-02 00:04 +0100
URL:       http://hg.openjdk.java.net/panama/dev/rev/8e80e9eadece

Automatic merge with foreign

! src/java.base/share/classes/module-info.java