}

            @Override
            public void addDateHeader(String name, long date) {
            }

            @Override
            public void setHeader(String name, String value) {
            }

            @Override
            public void addHeader(String name, String value) {
            }

            @Override

            options.setEncoding("utf-8");
            options.setDocEncoding("utf-8");
            options.setCharSet("utf-8");

            options.addBooleanOption("-allow-script-in-comments", true);
            options.setHeader(
                "<link id=\"hljs-theme\" rel=\"stylesheet\" href=\"https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/styles/stackoverflow-light.min.css\">" +
                    "<script>" +

            }

            @Override
            public void addDateHeader(String name, long date) {
            }

            @Override
            public void setHeader(String name, String value) {
                List<String> values = new ArrayList<>();
                values.add(value);
                responseHeaders.put(name, values);
            }

            @Override

        }

        @Override
        public void setContentType(String type) {
            this.contentType = type;
        }

        @Override
        public void setHeader(String name, String value) {
            headers.put(name, value);
        }

        @Override
        public PrintWriter getWriter() {
            return writer;
        }

        @Override