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