idea 重新下载jar

从GitHub上checkout一个项目下来，导入idea后发现加载依赖奇慢无比，所以临时把网络调成翻墙的代理，结果会发现idea会停止之前的下载，那怎么办呢？项目还没构建完成呢，折腾了很久，发现更改一下依赖的版本号，再右键pom文件，reimport可以成功加载改依赖，但是 没有版本号的库怎么弄呢？整了很久，发现可以这样操作：

点击右边工具栏maven--maven goal

然后在弹框中输入mvn -U idea:idea

等待命令执行完毕，就完成下载了