ごめん、ソースじゃなくてjavadocね。しかも602じゃなくて601だった。
じゃあ、
plugins/org.eclipse.platform.doc.isv_3.1.0/doc.zip
のなか。なんで個別配布のパッケージに入ってないんだろ。