play.api
This benchmark reads a cookie value from a RequestHeader.
This benchmark reads a header from a RequestHeader object.