@Override
	public int hashCode() {
		return (int) this.key;
	}
@see java.lang.Object#hashCode()
Overides hashCode() to use the key of this Vertex.
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/Vertex.java