> I guess you'd need to reinstall java-1.7.0-openjdk-headless, this the > package that sets the alternatives as part of its postinstall scripts. I already tested that but the package seems corrupted according to https://bugzilla.redhat.com/show_bug.cgi?id=1056187 Frédéric