A Java Library of Graph Algorithms and Optimization