jetty-jsp: History fix
jetty: Upgrade to 9.0.3.v20130506
jsp: Update lock for 9.0.3 (testing); pom to 9.0.3 (no dep change)
jetty: Release date
Merge branch 'jetty-9.x' into dev