maven工程的pom.xml文件中增加了依赖，但偶尔没有下载到本地仓库

maven工程pom.xml文件中的个别依赖没有下载到本地maven仓库。以前没有遇到这种情况，今天就遇到了这个问题，把解决过程记录下来。

我在eclipse中编辑maven工程的pom.xml文件，增加对mybatis的依赖，但保存文件后，依赖的jar文件没有自动下载到本地的maven仓库：

<dependency>
  <groupId>org.mybatis</groupId>
  <artifactId>mybatis</artifactId>
  <version>3.5.14</version>
</dependency>

尝试的方法：

• 我把这段依赖删掉、保存文件、然后再把依赖增加进去，想触发重新自动下载—这个方法没有奏效
• 把eclipse重启了—这个方法没有奏效
• 到cmd窗口，到工程的目录下，执行mvn compile,执行完后，依赖包自动下载下来了—这个方法奏效了