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