print("\\\n" + getClassFileName(AlternativeGenerator.className(alt)));
print("\\\n" + getClassFileName(AlternativeGenerator.className(type,alt)));
	protected void printAlternativeClassFiles(Type type, Alternative alt) {		print("\\\n" + getClassFileName(AlternativeGenerator.className(alt)));	}