The launch_java_service script should handle proxy settings

Current situation

The common HTTP_PROXY, HTTPS_PROXY, and NO_PROXY environment variables are used by Python services but not by Java services, forcing users to duplicate the configuration information.

Desired outcome

The launch_java_service.sh script should read those environment variables and pass them as needed.