Le 18/12/2016 à 02:18, tony mancill a écrit : > If someone else on the Java Team could give it a once over, I'd appreciate it.
Hi Tony, Thank you for the fix, it looks good to me. There won't be links for the Java EE APIs though, but that's not important. Emmanuel Bourg
