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