/** 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 add(GeoElementInterface geo) {
add((GeoElement) geo);
}
