} else {     if (name.equals((java.lang.String) me.name)) {  index = i; break; }
    static int get_next_map_element_index(java.lang.Object c, java.lang.Object e) {        int index = -1;        MapContainer mc = (MapContainer) c;        if (mc != null) {            MapElement me = (MapElement) e;                        if (me != null) {                                    int i = index + 1;                int size = MapHandler.get_map_container_size(mc);                java.lang.Object name = null;                    while (i < size) {                        name = ArrayHandler.get_array_element(mc.names, i);                        // If a null name is reached, then the name was not found.                    // In this case, the current value of i is the next free index.                    if (name == null) {                            index = i;                        break;                        } else {                            // If a name equal to the searched one is found,                        // then its index is the one to be returned since                        // this element will have to be replaced.                        if (name.equals((java.lang.String) me.name)) {                                index = i;                            break;                        }                    }                        i++;                }                    // Neither element matched, nor was a null element found.                // The map is full and such its size will be the next index to be used.                if (index == -1) {                        index = MapHandler.get_map_container_size(mc);                }            } else {                    System.out.println("ERROR: Could not get next map element index. The map element is null.");            }        } else {            System.out.println("ERROR: Could not get next map element index. The map container is null.");        }        return index;    }