JGraphv5.12.1.0
Class org.jgraph.graph.VertexView.SizeHandle is not used by any class in this documentation set.