--- /URLCodec.java	2023-07-05 02:21:23.958128907 +0200
+++ /Codec-1/src/java/org/apache/commons/codec/net/URLCodec.java	2023-07-05 02:21:23.958128907 +0200
@@ -131,6 +131,7 @@
                 buffer.write(b);
             } else {
                 buffer.write('%');
+ 
                 char hex1 = Character.toUpperCase(
                   Character.forDigit((b >> 4) & 0xF, 16));
                 char hex2 = Character.toUpperCase(
