Beginning with JRE 6 Update 12 it is possible to adjust
Java Web Start specific proxy settings, independently
from the "Deployment Common Proxy".

This does only work in combination with manual configuration
of "Deployment Common Proxy" on JRE level:
- "Use proxy server"
   deployment.proxy.type=1 (PROX_TYPE_MANUAL)


In combination with the following settings on JRE level, it
is not possible to override the "Deployment Common Proxy" for
Java Web Start.
- "Use automatic proxy configuration script"
   deployment.proxy.type=2 (PROX_TYPE_AUTO)
- "Use browser settings"
   deployment.proxy.type=3 (PROX_TYPE_BROWSER)
- "Direct connection"
   deployment.proxy.type=0 (PROX_TYPE_NONE)

It is proposed to allow to adjust Java Web Start specific proxy
settings independently from "Deployment Common Proxy" settings
in general. This was the case for Java Web Start 1.4.2.

This behavior is considered highly reasonable and is badly needed.