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