>>74 ああ@ItのJava TIPSの記事はいつもいまいちだから
参考にしないほうがいい。そこの説明もJREシステムライブラリーの
javadocを設定するならプロジェクトのプロパティからじゃなくて
設定->Java->インストール済みJREのところで行うべき。