Update VectorSpace.java