PR provides fixes on links to API docs and makes released API docs compatible with references from documentations compiled with JDKs prior to JDK 10.
As soon as this is only a documentation change (which, however, affects the functionality of the page) I apply for fast-track merging into the gh-pages branch.
PR provides fixes on links to API docs and makes released API docs compatible with references from documentations compiled with JDKs prior to JDK 10.
As soon as this is only a documentation change (which, however, affects the functionality of the page) I apply for fast-track merging into the gh-pages branch.