if (i >= c.length) {  ac = ArrayHandler.extend_array(c); ArrayHandler.destroy_array(c);  } else {  ac = c;
ArrayHandler.extend_array(p0);
    static java.lang.Object[] set_array_element(java.lang.Object[] c, int i, java.lang.Object e) {        java.lang.Object[] ac = null;        if (c != null) {            // If the array length is exceeded, a new adjusted array            // with extended length is created and delivered back.            if (i >= c.length) {                ac = ArrayHandler.extend_array(c);                ArrayHandler.destroy_array(c);            } else {                ac = c;            }            //?? Temporary: Remove old and add new java tree node./*??            ArrayHandler.remove_tree_node(ac[i]);            ArrayHandler.add_tree_node(e);*/            // Set element.            ac[i] = e;        } else {            System.out.println("ERROR: Could not set element. The array is null.");        }                return ac;    }