Switch to openjdk 7 patched version.