priority = value.toInt();
if ( priority < 0 || priority > 9 )
priority = defaultPriority;
}
else if ( headerName.equalsIgnoreCase("JMSTimeToLive") ) {
timeToLive = value.toLong();
if ( timeToLive < 0 )
timeToLive = defaultTimeToLive;
}
}
else if( propName.startsWith(propertyPrefix) ) {