Update OpVector.java