// Javadoc inherited
public Proxy getProxy() {
return styleProperties;
}
},
new ProxyReceiver() {
// Javadoc inherited
public void setProxy(Proxy proxy) {
// This is used to set the properties that were passed
// in by the proxy provider, so we can safely assume
// the value being passed in is the same as the one we