public String toString() {
		String ret = "interface {";
		boolean first = true;
		for (String name : names) {
			if (!first)
				ret += " ";
			first = false;
			ret += name;
		}
		ret += "}";
		return ret;
	}