function it_enriches_the_JWTToken_with_the_user_returned_by_user_convert(JWTUserBuilder $JWTUserBuilder, JWTToken $jwtToken)
 {
     $jwtToken->getCredentials()->willReturn('credentials');
     $JWTUserBuilder->buildUserFromToken('credentials')->willReturn('user');
     $jwtToken->setUser('user')->shouldBeCalled();
     $this->authenticate($jwtToken);
 }