Summary

Add a specification for the behavior of Javadoc search feature.

Problem

The search feature was added to Javadoc in JDK 9 with JEP 225, but the JEP only contained a very coarse description of how the search feature should work. Additionally, several shortcomings were found in the search implementation over time. These were addressed in JDK-8220497, and the changed behaviour should be documented.

Solution

Add a detailed specification of the Javadoc search feature that describes its behaviour in detail, including the changes introduced by JDK-8220497.

Specification

The content of the specification can be previewed at http://cr.openjdk.java.net/~hannesw/8178982/spec.02/javadoc-search-update.html. A markdown version of this file is also attached to this issue.