Update TreeNodeVector.java

Updated header