[jgrapht-users] future generics support

[Mark N. <mn...@cc...>]

Hello,

I've been using JGraphT for a while, but recently switched over to the 
pre-release Java 1.5, which has support for generics with type 
parameters (like ArrayList<int>).  This makes things a bit nicer as far 
as typing goes, since it enforces at compile time that a container you 
use to hold one type of object actually does holds only that type of 
object (rather than just any 'Object'), and so both avoids run-time 
casting errors, and makes it no longer necessary to cast the objects you 
get out of the container back from 'Object' to their real type.  Are 
there any plans to add this sort of thing to JGraphT, e.g. allowing a 
DirectedGraph<Node>?  I could look at adding it myself when I get some 
free time, as it seems fairly straightforward to do, but I wanted to 
make sure I'm not going to be duplicating something that's already started.

Oh, and thanks for providing a clean and easy-to-use graph library.  
It's incredibly useful---I have no idea why something like this isn't in 
the standard Java libraries, really. =]

-Mark