An eclipse.org repository named jetty