protected void visitNode(Node node) {
protected final void visitNode(Node node) {
    protected void visitNode(Node node) {        if (printNode(node)) {            String name = node.getClass().getName();            int index = name.lastIndexOf('.');            SourcePosition position = node.getPosition();            if (position != null) {                System.out.print("Line " + position.getLine() + ": " + name.substring(index + 1));            } else {                System.out.print("          Node: " + name.substring(index + 1));            }        }    }