private void selectEdgesConnecting(Collection<AttributedVertex> vertices) {
		Set<AttributedEdge> edges = graph.edgeSet().stream().filter(e -> {
			AttributedVertex source = graph.getEdgeSource(e);
			AttributedVertex target = graph.getEdgeTarget(e);
			return vertices.contains(source) && vertices.contains(target);
		}).collect(Collectors.toSet());
		viewer.getSelectedEdgeState().select(edges);
	}
Ungroup the selected vertices. If the focusedVertex is no longer in the graph, null it. This
will happen if the focusedVertex was the GroupVertex
Ghidra/Features/GraphServices/src/main/java/ghidra/graph/visualization/DefaultGraphDisplay.java