*: Fix publish_rdoc_rsync_flags for old rubyforge weirdness
End-Of-Life for old *-redirect packages
Merge branch 'jetty-9.x' into dev
*: Use https://rubygems.org in Gemfiles
*: lock updates for current releases
jetty: History for release
jetty: Upgrade to 9.0.0.5/v20130308 release
jetty-jsp: Lock update for jetty 9.0.0.5/v20130308 release