updating Vector.java