Eclipse TPTP install

Java

うーん、時間かかりすぎ!?

Update Managerじゃなくてzipダウンロード形式で
再度やり直した方がいいのかなぁ...<追記>
IOExceptionとかでインストール失敗するんですが...
誰かUpdate Managerからインストール成功した人いますかー？