IntelliJ IDEA Ultimate 13.0.2 EAP 133.370 with bundled JRE 1.7.0_45

Versions without JRE 1.7 bundled can be run with 1.7 by manually editing Info.plist (http://blog.jetbrains.com/idea/2013/09/jdk7_compatibility/), but there are issues with code signing and when upgrading with update patches.