Details
Description
To signal a redirect to an Ajax request, ServletWebResponse calls #addHeader("Ajax-Location, url) on the HTTP servlet response.
This might lead to multiple header values if a filter in the request chain already tampers the headers.
Since only one value is valid anyway, #setHeader() should be used instead.