Set JAVA_OPTS based on http_proxy