__CLOVER_225_0.S[11496]++;String name = getAttribute("name");
__CLOVER_225_0.S[11497]++;String value = getAttribute("value");
// Value may be null, in which case the value is set from the element content
__CLOVER_225_0.S[11498]++;IPropertyHolder ph = (IPropertyHolder) peekObject();
__CLOVER_225_0.S[11499]++;push(_elementName, new PropertyValueSetter(ph, name, value), STATE_META, false);
} finally { }}