/** renames an element and sorts list */
public void rename(GeoElement geo) {
remove(geo);
add(geo);
}
public final void updateAuxiliaryObject(GeoElement geo) {
remove(geo);
add(geo);
}
public void remove(GeoElementInterface geo) {
remove((GeoElement) geo);
}
