Master repository for the JGraphT project - View it on GitHub