Update Traverser.java