javadocのクラス一覧をフィルタリングする ブックマークレットです。
フィルタリングにより目的のクラスへ素早くアクセスが可能です。
次のコードをブックマークとして登録します。
javascript:(function(){var b=function(b){var a=document.createElement('script');a.setAttribute('language','javascript');a.setAttribute('charset','UTF-8');a.setAttribute('src',b);document.body.appendChild(a)};b('https://junk-box.appspot.com/js/jquery.js');b('https://junk-box.appspot.com/appdocs/java/javadoc-filter-core.js')})();
javadocのトップページを開いた状態で、ブックマークをクリックするとJavaDoc Filterが起動します。
フィルター入力エリアが表示されたら、クラス名を入力します。
JavaDoc FilterはMIT Licenseで公開しています。