declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace server {
                interface Authentication$User extends org.eclipse.jetty.server.Authentication {
                    getAuthMethod(): string
                    getUserIdentity(): org.eclipse.jetty.server.UserIdentity
                    isUserInRole(arg0: org.eclipse.jetty.server.UserIdentity$Scope, arg1: java.lang.String | string): boolean
                    logout(): void
                }
            }
        }
    }
}