updated Vector.java