Update PrintVisitor.java