Support for OpenJDK 7

According to http://www.jetbrains.com/phpstorm/download/#linux, PHPStorm now support OpenJDK 7.