String directory, String api_name, String prefix, boolean verbose, boolean folding, boolean jtype) {
String directory, String api_name, String prefix, boolean verbose, boolean folding) {
	public TomSignatureGenerator(ADT adt, TomSignatureImplementation impl, 	        String directory, String api_name, String prefix, boolean verbose, boolean folding, boolean jtype) {	   super(directory, StringConversions.makeIdentifier(api_name), ".t", verbose, folding);	   this.adt = adt;	   this.impl = impl;           this.jtype = jtype;           this.prefix = prefix;	}