From 2d2a8e85558e295296ebe8195a2e73ea61ce7c04 Mon Sep 17 00:00:00 2001 From: Paul Tuckey Date: Thu, 19 Oct 2023 14:48:54 +1300 Subject: [PATCH] update docs ref to jakarta --- .../urlrewrite/gzip/GenericResponseWrapper.java | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/main/java/org/tuckey/web/filters/urlrewrite/gzip/GenericResponseWrapper.java b/src/main/java/org/tuckey/web/filters/urlrewrite/gzip/GenericResponseWrapper.java index 90b03a34..d7cb4371 100644 --- a/src/main/java/org/tuckey/web/filters/urlrewrite/gzip/GenericResponseWrapper.java +++ b/src/main/java/org/tuckey/web/filters/urlrewrite/gzip/GenericResponseWrapper.java @@ -41,7 +41,7 @@ /** - * Provides a wrapper for {@link javax.servlet.http.HttpServletResponseWrapper}. + * Provides a wrapper for {@link jakarta.servlet.http.HttpServletResponseWrapper}. *

* It is used to wrap the real Response so that we can modify it after * that the target of the request has delivered its response. @@ -167,7 +167,7 @@ public PrintWriter getWriter() throws IOException { /** - * @see javax.servlet.http.HttpServletResponseWrapper#addHeader(java.lang.String, java.lang.String) + * @see jakarta.servlet.http.HttpServletResponseWrapper#addHeader(java.lang.String, java.lang.String) */ @Override public void addHeader(String name, String value) { @@ -182,7 +182,7 @@ public void addHeader(String name, String value) { } /** - * @see javax.servlet.http.HttpServletResponseWrapper#setHeader(java.lang.String, java.lang.String) + * @see jakarta.servlet.http.HttpServletResponseWrapper#setHeader(java.lang.String, java.lang.String) */ @Override public void setHeader(String name, String value) { @@ -194,7 +194,7 @@ public void setHeader(String name, String value) { } /** - * @see javax.servlet.http.HttpServletResponseWrapper#addDateHeader(java.lang.String, long) + * @see jakarta.servlet.http.HttpServletResponseWrapper#addDateHeader(java.lang.String, long) */ @Override public void addDateHeader(String name, long date) { @@ -209,7 +209,7 @@ public void addDateHeader(String name, long date) { } /** - * @see javax.servlet.http.HttpServletResponseWrapper#setDateHeader(java.lang.String, long) + * @see jakarta.servlet.http.HttpServletResponseWrapper#setDateHeader(java.lang.String, long) */ @Override public void setDateHeader(String name, long date) { @@ -221,7 +221,7 @@ public void setDateHeader(String name, long date) { } /** - * @see javax.servlet.http.HttpServletResponseWrapper#addIntHeader(java.lang.String, int) + * @see jakarta.servlet.http.HttpServletResponseWrapper#addIntHeader(java.lang.String, int) */ @Override public void addIntHeader(String name, int value) { @@ -236,7 +236,7 @@ public void addIntHeader(String name, int value) { } /** - * @see javax.servlet.http.HttpServletResponseWrapper#setIntHeader(java.lang.String, int) + * @see jakarta.servlet.http.HttpServletResponseWrapper#setIntHeader(java.lang.String, int) */ @Override public void setIntHeader(String name, int value) {