openjdk: upgraded to 7u17_b02