Specify overrides

jhy · Nov 23, 2023 · bc79810 · bc79810
1 parent 0a73767
commit bc79810
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/org/jsoup/safety/Cleaner.java b/src/main/java/org/jsoup/safety/Cleaner.java
@@ -137,7 +137,7 @@ private CleaningVisitor(Element root, Element destination) {
             this.destination = destination;
         }
 
-        public void head(Node source, int depth) {
+        @Override public void head(Node source, int depth) {
             if (source instanceof Element) {
                 Element sourceEl = (Element) source;
 
@@ -164,7 +164,7 @@ public void head(Node source, int depth) {
             }
         }
 
-        public void tail(Node source, int depth) {
+        @Override public void tail(Node source, int depth) {
             if (source instanceof Element && safelist.isSafeTag(source.normalName())) {
                 destination = destination.parent(); // would have descended, so pop destination stack
             }