hg: jdk/sandbox: Merge

[michael.x.mcmahon at oracle.com]

Changeset: 8aef5cbaee40
Author:    michaelm
Date:      2020-05-23 15:27 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/8aef5cbaee40

Merge

! test/jdk/ProblemList.txt
! test/jdk/java/net/SocketOption/AfterClose.java