The Diva graph "toolbox" package. This package contains miscellaneous useful stuff for graphs, including XML parsing and writing, Swing tree viewing, etc.