Update openjdk rpms

java-1.7.0-openjdk-devel-1.7.0.60-2.4.7.4.fc20.x86_64.rpm
java-1.7.0-openjdk-headless-1.7.0.60-2.4.7.4.fc20.x86_64.rpm

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>