private static <T> T[] append(T[] array, T element) {
        int length = array.length;
        array = Arrays.copyOf(array, length + 1);
        array[length] = element;
        return array;
    }