Vector.java changed