Eclipse Java エディターでクラス名に対して Open Declaration (F3) を実行すると、クラスのソースに移動する方法を知っていますか? JDKソースを添付すると、JDKのクラスに対してこれが行われますか? java.util.HashSet を除いて、Juno (Eclipse バージョン 4.2.2、ビルド: M20130204-1200) で問題なく動作しています。
奇妙なことに、Open Declaration は java.util.Hashtable および java.util の他のクラスに対しては機能しますが、HashSet に対しては、「ソース添付ファイルにはファイル HashSet.class のソースが含まれていません」と表示されます。添付のソース (Oracle/Java から) を確認しましたが、もちろんそうです。
誰かがこれを見たことがありますか、ここで何が起こっているのか知っていますか?
ありがとう。