index++;
p1++;
    static void remove_array_element(java.lang.Object[] c, int i) {        if (c != null) {            //?? Temporary: Remove java tree node.//??            ArrayHandler.remove_tree_node(c[i]);            // Move all remaining elements one place towards the            // beginning of the elements.            int index = i;            int size = c.length;            while ((index + 1) < size) {                c[index] = c[index + 1];                index++;            }            // Set former last element to null.            c[index] = null;        } else {            System.out.println("ERROR: Could not remove element. The array is null.");        }    }