JGraphT, simple and powerful Java graph library