读取 jar时出错； error in opening zip file
问题：我使用idea时有几次莫名的报出这个错误，有次 说kotlin的jar包打不开了，而这次是spring-boot-starter-data-redis打不开了。就很纳闷啊，这次我终于收到问题的原因了：其实就是jar包没有下载好，我想起来我是因为当我构建一个新的项目时，用spring Initializr后创建的一般都是比较新的springboot版本。而我每次又不想电脑去下载（比如我一直用 的2.3.4版本的，但是现在创建不了了，只可以用2.4.0版本的），然后在它创建的过程中，我强行把它
