public Object[] appendTo(Object value, Object[] source) { Object[] dest = new Object[source.length + 1]; System.arraycopy(source, 0, dest, 0, source.length); dest[source.length] = value; return dest;}