remove unused methods

diff --git a/source/mir/misc/StringUtil.java b/source/mir/misc/StringUtil.java
index cb915fb..5203fe9 100755 (executable)
--- a/source/mir/misc/StringUtil.java
+++ b/source/mir/misc/StringUtil.java
@@ -40,7 +40,7 @@ import  gnu.regexp.*;
 /**
  * Statische Hilfsmethoden zur Stringbehandlung
  *
- * @version $Id: StringUtil.java,v 1.27 2002/11/25 19:06:45 zapata Exp $
+ * @version $Id: StringUtil.java,v 1.28 2002/11/27 08:21:02 mh Exp $
  * @author mir-coders group
  *
  */
@@ -554,78 +554,6 @@ public final class StringUtil {
                 return s;
         }
 
-        /**
-         * verwandelt einen String in eine gültige Url, konvertiert Sonderzeichen
-         * und Spaces werden zu Underscores
-         *
-         * @return gültige Url
-         */
-/*
-        ML: I don't exactly understand the point of this routine, and I think it isn't
-            being used anymore. (And it sometimes causes locale problems). So I commented
-            it.
-
-        public static String convert2url(String s) {
-                s = toLowerCase(s);
-                StringBuffer buf = new StringBuffer();
-                for(int i = 0; i < s.length(); i++ ) {
-                                switch( s.charAt( i ) ) {
-                                case 'ö':
-                        buf.append( "oe" ); break;
-                                case 'ä':
-                        buf.append( "ae" ); break;
-                                case 'ü':
-                        buf.append( "ue" ); break;
-                                case 'ã':
-                        buf.append( "a" ); break;
-                                case '´':
-                                case '.':
-                        buf.append( "_" ); break;
-                                case ' ':
-                        if( buf.charAt( buf.length() - 1 ) != '_' ) {
-                                        buf.append( "_" );
-                        }
-                        break;
-                                default:
-                        buf.append( s.charAt( i ) );
-                                }
-                }
-                return buf.toString();
-        }
-*/
-
-        public static String decodeHTMLinTags(String s){
-                StringBuffer buffer = new StringBuffer();
-                boolean start = false;
-                boolean stop = false;
-                int startIndex = 0;
-                int stopIndex = 0;
-                int temp = 0;
-
-                for(int i=0;i<s.length();i++){
-                        if(s.charAt(i)=='<'){
-                                start = true;
-                                startIndex = i;
-                        } else if(s.charAt(i)=='>'){
-                                stop = true;
-                                stopIndex = i;
-
-                                if(start && stop){
-                                        buffer.append(s.substring(temp,startIndex));
-                                        buffer.append(replaceQuot(s.substring(startIndex,stopIndex+1)));
-                                        i= temp= stopIndex+1;
-                                        start= stop= false;
-                                }
-                        }
-                }
-                if(stopIndex>0){
-                        buffer.append(s.substring(stopIndex+1));
-                        return buffer.toString();
-                } else {
-                        return s;
-                }
-        }
-
         public static String replaceQuot(String s) {
                 StringBuffer buffer = new StringBuffer();
                 for(int j = 0; j < s.length();j++){