hg: jdk/sandbox: Merge

[magnus.ihse.bursie at oracle.com]

Changeset: e089851a9384
Author:    ihse
Date:      2020-03-13 13:13 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/e089851a9384

Merge

- make/jdk/src/classes/build/tools/util/Header.java