hg: jdk/jdk: 8203766: Add some instrumentation to jdk/java/nio/channels/Selector/RacyDeregister.java

[brian.burkhalter at oracle.com]

Changeset: 25f93c5406bf
Author:    bpb
Date:      2018-05-24 12:29 -0700
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/25f93c5406bf

8203766: Add some instrumentation to jdk/java/nio/channels/Selector/RacyDeregister.java
Reviewed-by: alanb

! test/jdk/java/nio/channels/Selector/RacyDeregister.java