}
}
/* ------------------------------------------------------------------------- */
public synchronized void replace_last_element(Any element) throws ElementInvalid,EmptyCollection {
if( data.size() == 0 ){
throw new EmptyCollection();
}
try {
replace_element_at_position( data.size()-1, element );
} catch ( PositionInvalid e ){
throw new ElementInvalid( ElementInvalidReason.positioning_property_invalid );