It's gone now.Oddly, there's no other package called jre, at least on my box, but something's not playing nicely with others.
sean -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list