hg: panama/dev: Automatic merge with default

[maurizio.cimadamore at oracle.com]

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

Automatic merge with default

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