Merge "Set $JAVA_HOME for openjdk12 on CentOS7"