读取 jar时出错； error in opening zip file

问题：

我使用idea时有几次莫名的报出这个错误，有次 说kotlin的jar包打不开了，而这次是spring-boot-starter-data-redis打不开了。就很纳闷啊，这次我终于收到问题的原因了：

其实就是jar包没有下载好，我想起来我是因为当我构建一个新的项目时，用spring Initializr后创建的一般都是比较新的springboot版本。而我每次又不想电脑去下载（比如我一直用 的2.3.4版本的，但是现在创建不了了，只可以用2.4.0版本的），然后在它创建的过程中，我强行把它给关闭×掉了，结果确实是有的jar包是没有下载完全的。就下载失败了。
解决的办法是把这些错误的jar包删干净，然后重新在pom.xml文件里面进行reload就可以了。
所以最好还是，创建就让它创建吧，反正也不大。用了好久也没有1 GB的。