419333 treat // as an alias in path
Merge remote-tracking branch 'origin/master' into jetty-9.1
fixed merge