Version 9.0.3 of Jetty, use permalink url

New version of Jetty

Now uses a permalink url, the old url disappears as soon as a new version of Jetty is released.