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