add JAVA_HOME to runvertx.sh