String altClassName = AlternativeGenerator.getAltClassName(type,alt);
String altClassName = AlternativeGenerator.className(type,alt);
		private void genAltClone(Type type, Alternative alt) {		String altClassName = AlternativeGenerator.getAltClassName(type,alt);				println("  public shared.SharedObject duplicate() {");		println("    " + altClassName + " clone = new " + altClassName + "();");		println("     clone.init(hashCode(), getAnnotations(), getAFun(), " +				"getArgumentArray());");		println("    return clone;");		println("  }");		println();		}