final void remove(NodeProxy node) {
void remove(NodeProxy node) {
		final void remove(NodeProxy node) {			int low = 0;			int high = length - 1;			int mid = -1;			NodeProxy p;			while (low <= high) {				mid = (low + high) / 2;				p = array[mid];				if (p.gid == node.gid)					break;				if (p.gid > node.gid)					high = mid - 1;				else					low = mid + 1;			}			if (low > high)				return; // not found			if (mid < length - 1)				System.arraycopy(array, mid + 1, array, mid, length - mid - 1);			--length;		}