从昨天开始，有些事情一直困扰着我，

昨天，我在Mac上安装了Intellij IDEA，并通过Spring Boot进行了一个非常简单的Hello World。工作正常。

今天，我试图在Windows 10计算机中执行相同的操作，但发现了一系列问题。这是行不通的。在调查发生这种情况的原因时，我发现机器中既没有安装maven，也没有安装gradle ！

但是请稍等！我也没有在Mac上故意安装其中的任何一个。为什么我可以使用Mac中安装的这些而不是Windows 10计算机上的安装。这些是否由于某种原因自动安装。

（仅供参考，win10使用代理，而mac机不使用代理）

编辑：

已要求我提供有关错误的信息。 原始错误与this question 完全相同，但我敢问这个错误，并且被标记为“重复问题”，尽管该问题的答案根本无效。

问题是将Spring Initializr构建导入到IntelliJ后，无法解析SpringApplication。按照答案的建议进行操作，暂时解决问题，但是一旦再次触摸文件，问题就会再次出现。

我尝试了this other question（即尝试mvn clean install）中提供的答案，也就是当我意识到系统中未安装Maven时。因此，我在这里提出的问题。是否自动安装了maven？

EDIT 2晚上，我在Mac上尝试了它，是的，Gradle在首次运行之前已下载。这在我的Windows 10系统中不会发生。在代理后面运行是否有事要做？我隐约记得我也为IDEA设置了代理。...

EDIT3：结果是Gradle不会发生此问题。但是我需要在Gradle中设置代理，但我不知道该怎么做...（已经配置了IDE）