hg: panama/dev: Automatic merge with default

[maurizio.cimadamore at oracle.com]

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

Automatic merge with default

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