似乎随着最新的 MACOs 更新,Java 也被更新了,这对 PhpStorm 的性能产生了非常严重的影响。
无论如何,我决定更新我的 Java。
曾是
$ java -version
java version "1.6.0_51"
Java(TM) SE Runtime Environment (build 1.6.0_51-b11-457-11M4509)
Java HotSpot(TM) 64-Bit Server VM (build 20.51-b01-457, mixed mode)
从 Oracle 下载 Java SDK 并安装后:
$ java -version
java version "1.7.0_25"
Java(TM) SE Runtime Environment (build 1.7.0_25-b15)
Java HotSpot(TM) 64-Bit Server VM (build 23.25-b01, mixed mode)
但是在 PhpStorm 中它仍然显示旧的 JRE:
我还重新启动了计算机,但仍然显示旧的 JRE。
请帮忙,如何让 PHPStorm 使用新的 JRE?