# JVM configuration
PR_JVMOPTIONS=-Xverify:none;-XX:+UseBiasedLocking;-XX:+CMSClassUnloadingEnabled;-XX:+UnlockDiagnosticVMOptions;-XX:+UnsyncloadClass;-Declipse.ignoreApp=true;-Dosgi.noShutdown=true;-Dsun.java2d.d3d=false;-Dhttp.proxyHost=myproxyserver.com;-Dhttp.proxyPort=8080;-Dhttp.proxyUser=someUserName;-Dhttp.proxyPassword=somePassword