Update PrintingVisitor.java