Hi,
Where’s the appropriate place for bug reports? I just made one with a patch on the javaforge site, but wasn’t sure that was appropriate.
thanks,
Nick
That is appropriate. And thanks for the patch 
[Edit]
In order to keep things simple we collect bugs in a sub-forum.