Java environment variables and system properties (including proxies)