__CLOVER_225_0.S[11508]++;ps.setPersistent(persistent);
__CLOVER_225_0.S[11509]++;ps.setInitialValue(initialValue);
__CLOVER_225_0.S[11510]++;IComponentSpecification cs = (IComponentSpecification) peekObject();
__CLOVER_225_0.S[11511]++;cs.addPropertySpecification(ps);
__CLOVER_225_0.S[11512]++;push(_elementName, ps, STATE_PROPERTY_SPECIFICATION, false);
} finally { }}
private void enterReservedParameter()