List of utility methods to do Array to Vector
Vector out = new Vector(arr.length); for (int i = 0, size = arr.length; i < size; i++) out.addElement(arr[i]); return out;