AV-946 Bug. UserDetails is the right abstraction to use instead of userdetails.User