Upgrade hydra-jetty to fedora-4/master