OpenJDK 12 upgrade to 12.0.2

install-jdk.sh 2019-07-17 was just released and supports OpenJDK 12.0.2

Travis CI needs to update their copy of script.

Thanks in advance.

Imprint