/* ========================================================================= */
public synchronized void add_element_as_first(Any element) throws ElementInvalid{
try {
add_element_at_position( 0, element );
} catch ( PositionInvalid e ){
throw new ElementInvalid( ElementInvalidReason.positioning_property_invalid );
}
}