[jdev] list shutdown

Because this discussion list is no longer in use and because (as part of larger infrastructure changes) we plan to discontinue email service at jabber.org, this list will be shut down in the near future. Peter