throws BadPropertyValueException {
Property property = properties.find(propertyName);
if (property instanceof com.google.gwt.dev.cfg.ConfigurationProperty) {
com.google.gwt.dev.cfg.ConfigurationProperty configurationProperty =
(com.google.gwt.dev.cfg.ConfigurationProperty) property;
return new DefaultConfigurationProperty(
configurationProperty.getName(), configurationProperty.getValues());
}
throw new BadPropertyValueException(propertyName);
}