public ListTypeGenerator(JavaGenerationParameters params, ListType type) {
public ListTypeGenerator(ADT adt, JavaGenerationParameters params, ListType type) {
	public ListTypeGenerator(JavaGenerationParameters params, ListType type) {		super(params, type);		this.type = type;		this.typeName = TypeGenerator.className(type);		this.elementType = type.getElementType();		this.elementTypeName = TypeGenerator.qualifiedClassName(params, elementType);		this.factory = FactoryGenerator.qualifiedClassName(params,type.getModuleName());		this.abstractListPackage = AbstractListGenerator.qualifiedClassName(getJavaGenerationParameters(),type.getModuleName());		this.traveler = params.getTravelerName(); 	}