openjdk: upgraded to 7u40_b20