How to search HTML documentation generated by javadoc?

Question

I'm a Java beginner and I see a lot of documentation for Java APIs in similar HTML format, e.g. Java™ Platform, Standard Edition 8 API Specification. I don't see a search option in any of these documents, so when I need to find for example random(), I go to index, select R and use browser to search for random. Is there a faster way, e.g. global search?

Answer 1

The new JavaDoc.Next in JDK9 produces HTML5 output and has a search box. It indexes package names, type names and member names, according to JDK 9 Language and Tooling Features presentation from JavaOne 2015.

Answer 2

Seems like this is the source you are looking for. (i.e. choose java se 8 api documentation) But I am not sure if it will be faster than ctrl+f or IDE support.