hg: amber/amber: Automatic merge with records-and-sealed

[maurizio.cimadamore at oracle.com]

Changeset: 5c16b711138f
Author:    mcimadamore
Date:      2019-06-12 16:07 +0200
URL:       http://hg.openjdk.java.net/amber/amber/rev/5c16b711138f

Automatic merge with records-and-sealed