On 23/04/18 12:33, Chris Hegarty wrote:
Thanks Jaikiran,I think your patch looks good. I filed the following CSR to track the Java SE API ( javadoc ) change. https://bugs.openjdk.java.net/browse/JDK-8202139 Once approved, I can sponsor this for you.
Pushed: http://hg.openjdk.java.net/jdk/jdk/rev/b7c2996d690b -Chris.