sorted = false;
	public void add(NodeProxy proxy) {		if (proxy == null)			return;		if (counter < length)			nodes[counter++] = proxy;		else {			int grow = (length < 10) ? 50 : length >> 1;			NodeProxy temp[] = new NodeProxy[length + grow];			System.arraycopy(nodes, 0, temp, 0, length);			length = length + grow;			nodes = temp;			nodes[counter++] = proxy;		}	}