jenkins: fedora 18 also comes with java-1.7.0-openjdk