Issue #34: Made user preferences proxy setting influence java system
properties in order to reuse proxy settings in e.g. JAX-WS layers