[tor-dev] Question to Java developers: what are good frameworks for Tor's server-side Java applications