void grow() {
		modificationNumber++;
		if ((keyIndices.size() * 13) > (capacity * 9)) {
			int newCapacity = (int) Math.round(keyIndices.size() * 1.7) + 7;

			Edge[] newFirstOutgoingEdge = new Edge[newCapacity];
			Edge[] newFirstIncomingEdge = new Edge[newCapacity];
			Edge[] newLastOutgoingEdge = new Edge[newCapacity];
			Edge[] newLastIncomingEdge = new Edge[newCapacity];
			Vertex[] newVertices = new Vertex[newCapacity];

			nextIndex = 0;
			for (int i = 0; i < capacity; i++) {
				if (vertices[i] != null) {
					newVertices[nextIndex] = vertices[i];
					newFirstOutgoingEdge[nextIndex] = firstOutgoingEdge[i];
					newFirstIncomingEdge[nextIndex] = firstIncomingEdge[i];
					newLastOutgoingEdge[nextIndex] = lastOutgoingEdge[i];
					newLastIncomingEdge[nextIndex] = lastIncomingEdge[i];
					keyIndices.remove(vertices[i].key());
					keyIndices.put(vertices[i].key(), nextIndex);
					nextIndex++;
				}
			}
			capacity = newCapacity;
			vertices = newVertices;
			firstOutgoingEdge = newFirstOutgoingEdge;
			firstIncomingEdge = newFirstIncomingEdge;
			lastOutgoingEdge = newLastOutgoingEdge;
			lastIncomingEdge = newLastIncomingEdge;
		}
		else// tighten up
		{
			tighten();
		}
	}
Increases the capacity of the VertexSet so additional vertices
can be added.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/VertexSet.java