REQUEST_HEADER_NAME
JwtSession
RESPONSE_HEADER_NAME
JwtSession
RichRequestHeader
JwtPlayImplicits
RichResult
JwtPlayImplicits
refresh
JwtSession
refreshJwtSession
RichResult
removingFromJwtSession
RichResult