private void genVisitMethod(String className) { println("public void visit_" + className + "(" + className + " arg) throws jjtraveler.VisitFailure {"); println("  any.visit(arg);"); println("}");
private void genVisitMethod(String methodName, String paramType) { println("  public void " + methodName + "(" + paramType + " arg) throws jjtraveler.VisitFailure {"); println("    any.visit(arg);"); println("  }"); println();
	private void genVisitMethod(String className) {		println("public void visit_" + className + "(" + className + " arg) throws jjtraveler.VisitFailure {");		println("  any.visit(arg);");		println("}");	}