openjdk: update to 8u40.