On 31/08/2017 16:26, Claes Redestad wrote:

On 2017-08-30 17:17, Alan Bateman wrote:
I think it could be useful as someone reading the code isn't going to immediately know to jump to URI.

Done: http://cr.openjdk.java.net/~redestad/8186930/jdk.01/

This looks good to me.

-Alan

Reply via email to