hg: jdk/jdk: 4 new changesets

[jesper.wilhelmsson at oracle.com]

Changeset: b9416643b58b
Author:    jjg
Date:      2020-06-22 09:29 -0700
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/b9416643b58b

8247959: doclint errors in NIO code
Reviewed-by: alanb, lancea

! src/jdk.nio.mapmode/share/classes/jdk/nio/mapmode/ExtendedMapMode.java
! src/jdk.sctp/share/classes/com/sun/nio/sctp/NotificationHandler.java

Changeset: ba36107de260
Author:    jjg
Date:      2020-06-22 09:42 -0700
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/ba36107de260

8247958: minor HTML errors in com.sun.jdi
Reviewed-by: dholmes, sspitsyn

! src/jdk.jdi/share/classes/com/sun/jdi/VirtualMachine.java
! src/jdk.jdi/share/classes/com/sun/jdi/VirtualMachineManager.java

Changeset: 9cfa0137612f
Author:    prr
Date:      2020-06-22 13:37 -0700
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/9cfa0137612f

8244818: Java2D Queue Flusher crash while moving application window to external monitor
Reviewed-by: serb, jdv, kcr

! src/java.desktop/macosx/native/libawt_lwawt/java2d/opengl/CGLSurfaceData.m

Changeset: be8f84478783
Author:    jwilhelm
Date:      2020-06-23 03:05 +0200
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/be8f84478783

Merge