Is https://jwsdp.dev.java.net/ still an active community and the
correct place to post bugs to JWSDP 2.0?
I just posted a bug, but see that there are only 4 total bugs, and the
first one, from May 2005, is still "NEW", so I'm wondering if this is
really the place.