Hi all,
As part of our migration to JavaSE 8 I have also changed the Javadoc
tool to use the JavaSE 8 version of Javadoc. As it is more strict that
previous versions I had to go through the public API packages and make
sure they work with JavaSE 8. I have done all that work (phew a long
Javadoc day!). If you see something out of order in the Javadoc please
let us know!
Thanks,
Manfred