A Java Library to Graph Manipulation.