@Override public Void visitSwitchDefault(SwitchDefault node) { visitList(node.getLabels(), " ", " "); writer.print("default: "); visitList(node.getStatements(), " "); return null; }