Changed setenv.sh to set JAVA_OPTS