public OrderedValueSequence(DocumentSet docs, OrderSpec orderSpecs[]) {
public OrderedValueSequence(DocumentSet docs, OrderSpec orderSpecs[], int size) {
	public OrderedValueSequence(DocumentSet docs, OrderSpec orderSpecs[]) {		this.orderSpecs = orderSpecs;		this.docs = docs;	}