hg: panama/dev: Automatic merge with default

[maurizio.cimadamore at oracle.com]

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

Automatic merge with default

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