How do you nondestructively resize an array in Java? All the Sun tutorial taught me was how to get the number of elements with .length.