OpenJDK packaging bug in Fedora 19