HashSet wpsNameSet = null;
String[] wpsNames = wps.getPropertyNames();
if(wpsNames != null) {
wpsNameSet = new HashSet();
for(int j = 0; j < wpsNames.length; j++) {
wpsNameSet.add(new CaselessStringKey(wpsNames[j]));
}
}
// Copy any properties not already defined by the rendering.
for(int j = 0; j < propertyNames.length; j++) {
String name = propertyNames[j];
if(wpsNameSet == null ||
!wpsNameSet.contains(new CaselessStringKey(name))) {
Object value = getProperty(name);
if(value != null &&
value != java.awt.Image.UndefinedProperty) {
wps.setProperty(name, value);
}