removed an JDK 1.3 incompatibility problem with URLEncoder

diff --git a/source/mir/util/HTMLRoutines.java b/source/mir/util/HTMLRoutines.java
index ee23557..3e4c583 100755 (executable)
--- a/source/mir/util/HTMLRoutines.java
+++ b/source/mir/util/HTMLRoutines.java
@@ -39,9 +39,18 @@ public class HTMLRoutines {
     return URLEncoder.encode(aString);\r
   }\r
 \r
+  /**\r
+   *\r
+   *\r
+   * @param aString\r
+   * @param anEncoding the encoding to use (Note: JDK 1.3 does not seem to support custom\r
+   *             encodings, so this parameter is ignored for now)\r
+   * @return\r
+   */\r
+\r
   public static String encodeURL(String aString, String anEncoding) {\r
     try {\r
-      return URLEncoder.encode(aString, anEncoding);\r
+      return URLEncoder.encode(aString);\r
     }\r
     catch (Throwable t) {\r
       throw new RuntimeException(t.getMessage());\r