いま、再びｆｔｐで java.sun.com から取ってみましたが、相変わらず 17,005,827 99-04-26 19:06 jdk12-ja-doc.zip でした。サイズが違う。。 Alternate mirror site "FTP download form Eastern U.S" で 再び挑戦中。。。でも xxxxK of 16607K (==17,005,568 byte) という表示が出ているので見込み薄だ。