presto-main/src/main/java/io/prestosql/server/security/AuthenticationFilter.java/AuthenticationFilter/withPrincipal
class AuthenticationFilter:    private static ServletRequest withPrincipal(HttpServletRequest request, Principal principal)
    {
        requireNonNull(principal, "principal is null");
        return new HttpServletRequestWrapper(request)
        {
            @Override
            public Principal getUserPrincipal()
            {
                return principal;
            }
        };
    }