Small changes to VisitorDemo.java