element_removed( pos, old );
};
/* ------------------------------------------------------------------------- */
public synchronized int element_replace( int pos, Any element ) throws PositionInvalid, ElementInvalid {
if( pos < 0 || pos >= data.size() ){
throw new PositionInvalid();
}
check_element( element );
try {
Any old = (Any)data.elementAt( pos );
data.setElementAt( element, pos );