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.
That is appropriate. And thanks for the patch
In order to keep things simple we collect bugs in a sub-forum.