Dear Maintainer,

In December 2013, a new version of JGraphT was released: 0.9

Please create a package for the new version.

At the same time, I'd also like to request the removal of the dependency on
libjgraph-java (JGraph), which is quite outdated and not a strict requirement
for JGraphT to function. It was replaced by a library called JGraphX (made by
the same developers), which is already available as a Debian package.

The two graph visualization packages are referenced by a handful of adapter
classes contained in JGraphT (org.jgrapht.ext.*), but JGraphT itself works fine
without them. In my opinion, it would be better to just let packages that need
JGraph or JGraphX depend on those directly.

Thank you