name = ArrayHandler.get_array_element(a, i);
ArrayHandler.get_array_element(a, name, i);
    static int get_map_element_index(java.lang.Object c, java.lang.Object n) {        int index = -1;        Map mc = (Map) c;        if (mc != null) {                        java.lang.Object[] a = mc.names;            int i = index + 1;            int size = ArrayHandler.get_array_size(a);            java.lang.Object name = null;            while (i < size) {                name = ArrayHandler.get_array_element(a, i);                // If a null name is reached, then the name was not found.                // In this case, reset index to -1.                if (name == null) {                    index = -1;                    break;                                } else {                    // If a name equal to the searched one is found,                    // then its index is the one to be returned.                    if (name.equals((java.lang.String) n)) {                        index = i;                        break;                    }                }                i++;            }        } else {            java.lang.System.out.println("ERROR: Could not get element index. The map is null.");        }        return index;    }