if(isOverloaded) buf.append(", ...");
	public String toString() {		StringBuffer buf = new StringBuffer();		buf.append(name.toString());		buf.append('(');		if(arguments != null) {			for(int i = 0; i < arguments.length; i++) {				if(i > 0)					buf.append(", ");				buf.append(arguments[i].toString());			}		}		buf.append(") ");		buf.append(returnType.toString());		return buf.toString();	}