An integration of spring security with Auth0