hi! jetty9 is really old and did imo not really take off. I tried to upgrade our plugin to the current jetty12, but it's not going well as the jetty9 plugin did use tons of jetty internals which now got changed completely. The whole module is also disabled since 4.0 and didn't get re-enabled again.
Thus: should we drop the module or does someone want to pick up the task to re-enable it again? txs and LIeGrue, strub
