--- /URLCodec.java	2023-07-05 02:58:44.218053319 +0200
+++ /Codec-1/src/java/org/apache/commons/codec/net/URLCodec.java	2023-07-05 02:58:44.218053319 +0200
@@ -89,6 +89,7 @@
      */
     public URLCodec() {
         super();
+ 
     }
 
     /**
