I am a long time user of KOSEKI Kengo's Javadoc Incremental Search user script, but it fails to work on the new Java 7 JavaDocs.
I found this one, based on the above work, and adding great improvements (perhaps it is just missing a Clear button).
Looks like it will be my new favorite user script.
Complements to the chef.
This script is fantastic, and probably one I use the most as a Java developer!!
This save me from scrolling down on those unusable JavaDocs. Thanks a lot. The latest version is simply great. I have experienced lag some time ago. But not, both speed and usability are excellent. Bravo.