OpenJDK 12 upgrade to 12.0.2

[sormuras]

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

Upgrade `install-jdk.sh` to use OpenJDK 12.0.2

Travis CI needs to update their copy of script.

Thanks in advance.