hg: panama/dev: Automatic merge with default

[maurizio.cimadamore at oracle.com]

Changeset: e3e518fe8663
Author:    mcimadamore
Date:      2018-02-09 13:09 +0100
URL:       http://hg.openjdk.java.net/panama/dev/rev/e3e518fe8663

Automatic merge with default

- src/java.xml/share/legal/xmlresolver.md