README: update the openjdk7 version to 2.3.12