I am using Ubuntu 12.04 x64 with Java 7 as standart. But afaik PhpStorm is optimized for Java 6. What I did was to download Java 6 from Oracle (plus inflating and moving into the right directory) and edit the phpstorm.sh a little.
right under TR=`which tr` I put WEBIDE_JDK="/usr/lib/jvm/jdk1.6.0_35"
My question: Is that the right way to let PhpStorm work on Java 6 or do I have to config the alternatives of java and javavm to the Java 6 directory?
Thanks in advance (: