Fixed issue caused by the fix to #447746: user agent header must not
be added, but overwritten.
Merged branch 'jetty-9.2.x' into 'master'.
Clarified semantic of Request.header().
Merged branch 'jetty-9.2.x' into 'master'.