SPEC file and src.rpm for jetty9