REQUEST_HEADER_NAME

JwtSession

RESPONSE_HEADER_NAME

JwtSession

RichRequestHeader

JwtPlayImplicits

RichResult

JwtPlayImplicits

refresh

JwtSession

refreshJwtSession

RichResult

removingFromJwtSession

RichResult