libjgrapht - update suggestion

[Steffen Moeller]

Hello,

you may have spotted my recent submission to subversion with a
suggestion on how to avoid our problem with the API change of jgrapht.
There, I am introducing a virtual package of the same name libjgrapht of
version 0.7.3 that is in conflict with libjgrapht-java in a version <
0.7.   This way, you cannot just update it and ruin your dependent packages.

The new libjgrapht depends on the package libjgrapht0.7-java, which
delivers the .jar file. The new libjgrapht prepares a symbolic link to
the new jar. And so does the libjgrapht0.7-java, in complete analogy to
the sonames of C shared libraries (or at least in complete analogy to
what I have understood about them).

I hope this solution to find your approval and wait for some OK from
your sides to upload it. Time is presssing a bit in order to get it into
the next stable release, as you all know. This holds particularly since
I want to get biojava in, that depends on this newer version.

Best,

Steffen