public jakarta.servlet.http.HttpServletMapping getHttpServletMapping() {
                return null;
            }

            @Override
            public jakarta.servlet.http.PushBuilder newPushBuilder() {
                return null;
            }

            @Override
            public java.util.Map<String, String> getTrailerFields() {
                return null;
            }

        public jakarta.servlet.http.HttpServletMapping getHttpServletMapping() {
            throw new UnsupportedOperationException();
        }

        @Override
        public jakarta.servlet.http.PushBuilder newPushBuilder() {
            throw new UnsupportedOperationException();
        }

        @Override
        public Map<String, String> getTrailerFields() {
            throw new UnsupportedOperationException();