Developer Toolsの再ダウンロードとインストール

手間取りましたがダウンロードできました。サーバから返答されるファイルサイズと実際のファイルサイズの違いが原因でした。Webに記載されているファイルサイズとは整合が取れていることに気付き、展開したところ正常にチェックサムが終わりました。画面に従ってインストールすると簡単に終わります。