RFR: 8220497: Improve Javadoc search feature and add test coverage

[Hannes Wallnöfer]

(This was meant to go out yesterday, but the API docs took the whole night to upload, hence the weekend post.)

This is a general overhaul of the javadoc search feature. It consists of a new specification of the search algorithm, new Nashorn based tests and of course the implementation of the new spec itself. The spec can be considered as addendum to JEP 225[1] which introduced the search feature but didn’t go into too much depth about the details of the search algorithm.

[1]: https://openjdk.java.net/jeps/225

Compared to the version I previously posted on this list this new version contains a number of fixes and refinements.

Issue: https://bugs.openjdk.java.net/browse/JDK-8220497
Spec: http://cr.openjdk.java.net/~hannesw/8220497/spec.00/
Webrev: http://cr.openjdk.java.net/~hannesw/8220497/webrev.00/
API docs: http://cr.openjdk.java.net/~hannesw/8220497/api.00/

Thanks,
Hannes