public String toString() { return null; }
public String toString() { return super.toString() + " inProgress: " + inProgress + " edits: " + edits; }
	public String toString() {		return null; // TODO	} // toString()