Just looking at pending OpenJDK updates [1] and it looks like the F12 version-release is higher than the F13 version-release. This might be a problem, and might explain why my F13 box has 1.6.0.0-36.b17.fc12 installed when presumably I should have 1.6.0.0-35.b17.fc13 installed. [1] https://admin.fedoraproject.org/updates/search/java-1.6.0-openjdk -- Mat Booth -- java-devel mailing list java-devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/java-devel
