It seems that with the latest MAcOs updates, this version has also been updated, which greatly affected the performance of PhpStorm.
Anyway, I decided to upgrade my Java.
Was
$ 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)
After downloading the Java SDK from Oracle and installing:
$ 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)
But in PhpStorm the old JRE is still displayed: 
I also restarted my computer, but still the old JRE is displayed.
Please help, how to get PHPStorm to use the new JRE?
source share