Proposal for JEP 225: Javadoc Search