openjdk: upgraded to 7u13_b20