jetty-9 removed alias option