tiny fixes here and there
[mir.git] / source / mir / misc / StringUtil.java
index bcbc06a..fc9b84a 100755 (executable)
-/*\r
- * Copyright (C) 2001, 2002 The Mir-coders group\r
- *\r
- * This file is part of Mir.\r
- *\r
- * Mir is free software; you can redistribute it and/or modify\r
- * it under the terms of the GNU General Public License as published by\r
- * the Free Software Foundation; either version 2 of the License, or\r
- * (at your option) any later version.\r
- *\r
- * Mir is distributed in the hope that it will be useful,\r
- * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
- * GNU General Public License for more details.\r
- *\r
- * You should have received a copy of the GNU General Public License\r
- * along with Mir; if not, write to the Free Software\r
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA\r
- *\r
- * In addition, as a special exception, The Mir-coders gives permission to link\r
- * the code of this program with  any library licensed under the Apache Software License,\r
- * The Sun (tm) Java Advanced Imaging library (JAI), The Sun JIMI library\r
- * (or with modified versions of the above that use the same license as the above),\r
- * and distribute linked combinations including the two.  You must obey the\r
- * GNU General Public License in all respects for all of the code used other than\r
- * the above mentioned libraries.  If you modify this file, you may extend this\r
- * exception to your version of the file, but you are not obligated to do so.\r
- * If you do not wish to do so, delete this exception statement from your version.\r
- */\r
-package  mir.misc;\r
-\r
-import java.text.NumberFormat;\r
-import java.util.Calendar;\r
-import java.util.Date;\r
-import java.util.GregorianCalendar;\r
-import java.util.TimeZone;\r
-\r
-import gnu.regexp.RE;\r
-import gnu.regexp.REException;\r
-\r
-/**\r
- * Statische Hilfsmethoden zur Stringbehandlung\r
- *\r
- * @version $Id: StringUtil.java,v 1.33.2.4 2003/08/10 00:16:53 zapata Exp $\r
- * @author mir-coders group\r
- *\r
- */\r
-public final class StringUtil {\r
-\r
-  private static RE   re_newline2br, re_brbr2p, re_mail, re_url, re_tags,\r
-                      re_tables, re_forbiddenTags;\r
-\r
-  private StringUtil() { }  // this avoids contruction\r
-\r
-  static {\r
-    try {\r
-      //precompile regex\r
-      re_newline2br = new RE("(\r?\n){1}");\r
-      re_brbr2p     = new RE("(<br>\r?\n<br>){1,}");\r
-      re_mail       = new RE("\\b([a-zA-Z0-9_.-]+)@([a-zA-Z0-9_-]+)\\.([a-zA-Z0-9_.-]+)\\b");\r
-      re_url        = new RE("((https://)|(http://)|(ftp://)){1}([a-zA-Z0-9_-]+).([a-zA-Z0-9_.:-]+)/?([^ \t\r\n<>\\)\\]]+[^ \t\r\n.,<>\\)\\]])");\r
-      re_tags       = new RE("<[^>]*>",RE.REG_ICASE);\r
-      re_tables = new RE("<[ \t\r\n/]*(table|td|tr)[ \t\r\n]*>",RE.REG_ICASE);\r
-      re_forbiddenTags = new RE("<[ \t\r\n/]*(html|meta|body|head|script)[ \t\r\n]*>",RE.REG_ICASE);\r
-    }\r
-    catch (REException e){\r
-      System.err.println("FATAL: StringUtil: could not precompile REGEX: "+e.toString());\r
-    }\r
-  }\r
-\r
-  /**\r
-   * Formats a number with the specified minimum and maximum number of digits.\r
-   **/\r
-  public static synchronized String zeroPaddingNumber(long value, int minDigits,\r
-      int maxDigits)\r
-  {\r
-    NumberFormat numberFormat = NumberFormat.getInstance();\r
-    numberFormat.setMinimumIntegerDigits(minDigits);\r
-    numberFormat.setMaximumIntegerDigits(maxDigits);\r
-    return numberFormat.format(value);\r
-  }\r
-\r
-  /**\r
-   * Wandelt Datum in einen 8-ziffrigen String um (yyyymmdd)\r
-   * @param theDate\r
-   * @return 8-ziffriger String (yyyymmdd)\r
-   */\r
-\r
-  public static final String date2webdbDate (GregorianCalendar theDate) {\r
-    StringBuffer webdbDate = new StringBuffer();\r
-    webdbDate.append(String.valueOf(theDate.get(Calendar.YEAR)));\r
-    webdbDate.append(pad2(theDate.get(Calendar.MONTH) + 1));\r
-    webdbDate.append(pad2(theDate.get(Calendar.DATE)));\r
-    return  webdbDate.toString();\r
-  }\r
-\r
-  /**\r
-   * Wandelt Calendar in einen 12-ziffrigen String um (yyyymmddhhmm)\r
-   * @param theDate\r
-   * @return 12-ziffriger String (yyyymmdd)\r
-   */\r
-\r
-  public static final String date2webdbDateTime (GregorianCalendar theDate) {\r
-    StringBuffer webdbDate = new StringBuffer();\r
-    webdbDate.append(String.valueOf(theDate.get(Calendar.YEAR)));\r
-    webdbDate.append(pad2(theDate.get(Calendar.MONTH) + 1));\r
-    webdbDate.append(pad2(theDate.get(Calendar.DATE)));\r
-    webdbDate.append(pad2(theDate.get(Calendar.HOUR)));\r
-    webdbDate.append(pad2(theDate.get(Calendar.MINUTE)));\r
-    return  webdbDate.toString();\r
-  }\r
-\r
-  /**\r
-   * Return a http://www.w3.org/TR/NOTE-datetime formatted date (yyyy-mm-ddThh:mm:ssTZ)\r
-   * @param theDate\r
-   * @return w3approved datetime\r
-   */\r
-\r
-  public static final String date2w3DateTime (GregorianCalendar theDate) {\r
-    StringBuffer webdbDate = new StringBuffer();\r
-    webdbDate.append(String.valueOf(theDate.get(Calendar.YEAR)));\r
-    webdbDate.append("-");\r
-    webdbDate.append(pad2(theDate.get(Calendar.MONTH) + 1));\r
-    webdbDate.append("-");\r
-    webdbDate.append(pad2(theDate.get(Calendar.DATE)));\r
-    webdbDate.append("T");\r
-    webdbDate.append(pad2(theDate.get(Calendar.HOUR_OF_DAY)));\r
-    webdbDate.append(":");\r
-    webdbDate.append(pad2(theDate.get(Calendar.MINUTE)));\r
-    webdbDate.append(":");\r
-    webdbDate.append(pad2(theDate.get(Calendar.SECOND)));\r
-    //assumes you are an hour-multiple away from UTC....\r
-    int offset=(theDate.get(Calendar.ZONE_OFFSET)/(60*60*1000));\r
-    if (offset < 0){\r
-      webdbDate.append("-");\r
-    }\r
-    else{\r
-      webdbDate.append("+");\r
-    }\r
-    webdbDate.append(pad2(Math.abs(offset)));\r
-    webdbDate.append(":00");\r
-    return  webdbDate.toString();\r
-  }\r
-\r
-  /**\r
-   * wandelt Calendar in dd.mm.yyyy / hh.mm um\r
-   * @param theDate\r
-   * @return String mit (dd.mm.yyyy / hh.mm um)\r
-   */\r
-  public static String date2readableDateTime (GregorianCalendar theDate) {\r
-    String readable = "";\r
-    int hour;\r
-    readable += pad2(theDate.get(Calendar.DATE));\r
-    readable += "." + pad2(theDate.get(Calendar.MONTH) + 1);\r
-    readable += "." + String.valueOf(theDate.get(Calendar.YEAR));\r
-    hour = theDate.get(Calendar.HOUR);\r
-    if (theDate.get(Calendar.AM_PM) == Calendar.PM)\r
-      hour += 12;\r
-    readable += " / " + pad2(hour);\r
-    readable += ":" + pad2(theDate.get(Calendar.MINUTE));\r
-    return  readable;\r
-  }\r
-\r
-  /**\r
-  *  deleteForbiddenTags\r
-  *  this method deletes all <script>, <body> and <head>-tags\r
-  */\r
-  public static final String deleteForbiddenTags(String haystack) {\r
-    return re_forbiddenTags.substituteAll(haystack,"");\r
-  }\r
-\r
-  /**\r
-   *  deleteHTMLTableTags\r
-   *  this method deletes all <table>, <tr> and <td>-tags\r
-   */\r
-  public static final String deleteHTMLTableTags(String haystack) {\r
-    return re_tables.substituteAll(haystack,"");\r
-  }\r
-\r
-  /**\r
-   * wandelt eine Datum in einen 8-buchstabigen String, der durch <code>/</code>\r
-   * getrennt ist.\r
-   *\r
-   * @param webdbDate\r
-   * @return String mit <code>/yyyy/mm/dd</code>\r
-   */\r
-  public static final String webdbDate2path (String webdbDate) {\r
-    StringBuffer path = new StringBuffer();\r
-    path.append("/").append(webdbDate.substring(0, 4));\r
-    path.append("/").append(webdbDate.substring(4, 6));\r
-    path.append("/");\r
-    //who did this?\r
-    //path.append("/").append(webdbDate.substring(6, 8));\r
-    return  path.toString();\r
-  }\r
-\r
-  /**\r
-   * Ersetzt in String <code>s</code> das Regexp <code>pattern</code> durch <code>substitute</code>\r
-   * @param s\r
-   * @param pattern\r
-   * @param substitute\r
-   * @return String mit den Ersetzungen\r
-   */\r
-  public static String regexpReplace(String haystack, String pattern, String substitute) {\r
-    try {\r
-      RE regex = new RE(pattern);\r
-      return regex.substituteAll(haystack,substitute);\r
-    } catch(REException ex){\r
-      return null;\r
-    }\r
-  }\r
-\r
-  /**\r
-   * L?scht <code>/</code> am Ende des Strings, falls vorhanden\r
-   * @param path\r
-   * @return String ohne <code>/</code> am Ende\r
-   */\r
-  public static final String removeSlash (String path) {\r
-    return  path.length() > 1 && path.endsWith("/") ? path.substring(0, path.length()\r
-        - 1) : path;\r
-  }\r
-\r
-  /**\r
-   * formatiert eine Zahl (0-99) zweistellig (z.B. 5 -> 05)\r
-   * @return zwistellige Zahl\r
-   */\r
-  public static String pad2 (int number) {\r
-    return  number < 10 ? "0" + number : String.valueOf(number);\r
-  }\r
-\r
-  /**\r
-   * formatiert eine Zahl (0-999) dreistellig (z.B. 7 -> 007)\r
-   *\r
-   * @return 3-stellige Zahl\r
-   */\r
-  public static String pad3 (int number) {\r
-    return  number < 10 ? "00" + number : number < 100 ? "0" + number : String.valueOf(number);\r
-  }\r
-\r
-  /**\r
-   * Liefert Default-Wert def zur?ck, wenn String <code>s</code>\r
-   * kein Integer ist.\r
-   *\r
-   * @param s\r
-   * @param def\r
-   * @return geparster int aus s oder def\r
-   */\r
-  public static int parseInt(String s, int def) {\r
-    if (s == null) return def;\r
-    try {\r
-      return Integer.parseInt(s);\r
-    } catch (NumberFormatException e) {\r
-      return def;\r
-    }\r
-  }\r
-\r
-\r
-  /**\r
-   *  convertNewline2P ist eine regex-routine zum umwandeln von 2 oder mehr newlines (\n)\r
-   *  in den html-tag <p>\r
-   *  nur sinnvoll, wenn text nicht im html-format eingegeben\r
-   */\r
-  public static String convertNewline2P(String haystack) {\r
-    return re_brbr2p.substituteAll(haystack,"\n</p><p>");\r
-  }\r
-\r
-  /**\r
-   *  convertNewline2Break ist eine regex-routine zum umwandeln von 1 newline (\n)\r
-   *  in den html-tag <br>\r
-   *  nur sinnvoll, wenn text nicht im html-format eingegeben\r
-   */\r
-  public static String convertNewline2Break(String haystack) {\r
-    return re_newline2br.substituteAll(haystack,"$0<br />");\r
-  }\r
-\r
-  /**\r
-   *  createMailLinks wandelt text im email-adressenformat\r
-   *  in einen klickbaren link um\r
-   *  nur sinnvoll, wenn text nicht im html-format eingegeben\r
-   */\r
-  public static String createMailLinks(String haystack) {\r
-    return re_mail.substituteAll(haystack,"<a href=\"mailto:$0\">$0</a>");\r
-  }\r
-\r
-\r
-  /**\r
-   *  createMailLinks wandelt text im email-adressenformat\r
-   *  in einen klickbaren link um\r
-   *  nur sinnvoll, wenn text nicht im html-format eingegeben\r
-   */\r
-  public static String createMailLinks(String haystack, String imageRoot, String mailImage) {\r
-    return re_mail.substituteAll(haystack,"<img src=\""+imageRoot+"/"+mailImage+"\" border=\"0\"/>&#160;<a href=\"mailto:$0\">$0</a>");\r
-  }\r
-\r
-\r
-  /**\r
-   *  createURLLinks wandelt text im url-format\r
-   *  in einen klickbaren link um\r
-   *  nur sinnvoll, wenn text nicht im html-format eingegeben\r
-   */\r
-  public static String createURLLinks(String haystack) {\r
-    return re_url.substituteAll(haystack,"<a href=\"$0\">$0</a>");\r
-  }\r
-\r
-  /**\r
-   * this routine takes text in url format and makes\r
-   * a clickaeble "<href>" link removing any "illegal" html tags\r
-   * @param haystack, the url\r
-   * @param title, the href link text\r
-   * @param imagRoot, the place to find icons\r
-   * @param extImage, the url of the icon to show next to the link\r
-   * @return a String containing the url\r
-   */\r
-  public static String createURLLinks(String haystack, String title, String imageRoot,String extImage) {\r
-    if (title == null) {\r
-      return re_url.substituteAll(haystack,"<img src=\""+imageRoot+"/"+extImage+"\" border=\"0\"/>&#160;<a href=\"$0\">$0</a>");\r
-    } else {\r
-      title = removeHTMLTags(title);\r
-      return re_url.substituteAll(haystack,"<img src=\""+imageRoot+"/"+extImage+"\" border=\"0\"/>&#160;<a href=\"$0\">"+title+"</a>");\r
-    }\r
-  }\r
-\r
-  /**\r
-   * this routine takes text in url format and makes\r
-   * a clickaeble "<href>" link removing any "illegal" html tags\r
-   * @param haystack, the url\r
-   * @param imageRoot, the place to find icons\r
-   * @param extImage, the url of the icon to show next to the link\r
-   * @param intImage, unused\r
-   * @return a String containing the url\r
-   */\r
-  public static String createURLLinks(String haystack, String title, String imageRoot,String extImage,String intImage) {\r
-    return createURLLinks(haystack, title, imageRoot, extImage);\r
-  }\r
-\r
-  /**\r
-   * this method deletes all html tags\r
-   */\r
-  public static final String removeHTMLTags(String haystack){\r
-    return re_tags.substituteAll(haystack,"");\r
-  }\r
-\r
-  /**\r
-   * this method deletes all but the approved tags html tags\r
-   * it also deletes approved tags which contain malicious-looking attributes and doesn't work at all\r
-   */\r
-  public static String approveHTMLTags(String haystack){\r
-    try {\r
-      String approvedTags="a|img|h1|h2|h3|h4|h5|h6|br|b|i|strong|p";\r
-      String badAttributes="onAbort|onBlur|onChange|onClick|onDblClick|onDragDrop|onError|onFocus|onKeyDown|onKeyPress|onKeyUp|onLoad|onMouseDown|onMouseMove|onMouseOut|onMouseOver|onMouseUp|onMove|onReset|onResize|onSelect|onSubmit|onUnload";\r
-      String approvedProtocols="rtsp|http|ftp|https|freenet|mailto";\r
-\r
-      // kill all the bad tags that have attributes\r
-      String s = "<\\s*/?\\s*(?!(("+approvedTags+")\\s))\\w+\\s[^>]*>";\r
-      RE regex = new RE(s,RE.REG_ICASE);\r
-      haystack = regex.substituteAll(haystack,"");\r
-\r
-      // kill all the bad tags that are attributeless\r
-      regex = new RE("<\\s*/?\\s*(?!(("+approvedTags+")\\s*>))\\w+\\s*>",RE.REG_ICASE);\r
-      haystack = regex.substituteAll(haystack,"");\r
-\r
-      // kill all the tags which have a javascript attribute like onLoad\r
-      regex = new RE("<[^>]*("+badAttributes+")[^>]*>",RE.REG_ICASE);\r
-      haystack = regex.substituteAll(haystack,"");\r
-\r
-      // kill all the tags which include a url to an unacceptable protocol\r
-      regex = new RE("<\\s*a\\s+[^>]*href=(?!(\'|\")?("+approvedProtocols+"))[^>]*>",RE.REG_ICASE);\r
-      haystack = regex.substituteAll(haystack,"");\r
-\r
-      return haystack;\r
-    } catch(REException ex){\r
-      ex.printStackTrace();\r
-      return null;\r
-    }\r
-  }\r
-\r
-\r
-  /**\r
-   *  createHTML ruft alle regex-methoden zum unwandeln eines nicht\r
-   *  htmlcodierten string auf und returnt einen htmlcodierten String\r
-   */\r
-  public static String createHTML(String content){\r
-    content=convertNewline2Break(content);\r
-    content=convertNewline2P(content);\r
-    content=createMailLinks(content);\r
-    content=createURLLinks(content);\r
-    return content;\r
-  }\r
-\r
-\r
-  /**\r
-   *  createHTML ruft alle regex-methoden zum unwandeln eines nicht\r
-   *  htmlcodierten string auf und returnt einen htmlcodierten String\r
-   */\r
-  public static String createHTML(String content,String producerDocRoot,String mailImage,String extImage,String intImage){\r
-    content=convertNewline2Break(content);\r
-    content=convertNewline2P(content);\r
-    content=createMailLinks(content,producerDocRoot,mailImage);\r
-    content=createURLLinks(content,null,producerDocRoot,extImage,intImage);\r
-    return content;\r
-  }\r
-\r
-  /**\r
-   * Converts mir's horrible internal date format (yyyy-MM-dd HH:mm:ss+zz) into a java Date\r
-   *\r
-   * @param anInternalDate\r
-   * @return\r
-   */\r
-  public static Date convertMirInternalDateToDate(String anInternalDate) {\r
-    Calendar calendar = new GregorianCalendar();\r
-\r
-    int year;\r
-    int month;\r
-    int day;\r
-    int hours;\r
-    int minutes;\r
-    int seconds;\r
-    int timezoneOffset;\r
-\r
-    year = Integer.parseInt(anInternalDate.substring(0,4));\r
-    month = Integer.parseInt(anInternalDate.substring(5,7));\r
-    day = Integer.parseInt(anInternalDate.substring(8,10));\r
-    hours = Integer.parseInt(anInternalDate.substring(11,13));\r
-    minutes = Integer.parseInt(anInternalDate.substring(14,16));\r
-    seconds = Integer.parseInt(anInternalDate.substring(17,19));\r
-\r
-    timezoneOffset = Integer.parseInt(anInternalDate.substring(20,22));\r
-    if (anInternalDate.charAt(19) == '-')\r
-      timezoneOffset = -timezoneOffset;\r
-\r
-    calendar.setTimeZone(TimeZone.getTimeZone("UTC"));\r
-    calendar.set(year, month-1, day, hours, minutes, seconds);\r
-    calendar.add(Calendar.HOUR, -timezoneOffset);\r
-\r
-    return calendar.getTime();\r
-  }\r
-\r
-}\r
-\r
+/*
+ * Copyright (C) 2005 The Mir-coders group
+ *
+ * This file is part of Mir.
+ *
+ * Mir is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * Mir is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mir; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ *
+ * In addition, as a special exception, The Mir-coders gives permission to link
+ * the code of this program with  any library licensed under the Apache Software License.
+ * You must obey the GNU General Public License in all respects for all of the code used
+ * other than the above mentioned libraries.  If you modify this file, you may extend this
+ * exception to your version of the file, but you are not obligated to do so.
+ * If you do not wish to do so, delete this exception statement from your version.
+ */
+package  mir.misc;
+
+import gnu.regexp.RE;
+import gnu.regexp.REException;
+
+import java.text.NumberFormat;
+import java.util.Calendar;
+import java.util.Date;
+import java.util.GregorianCalendar;
+import java.util.TimeZone;
+
+/**
+ */
+public final class StringUtil {
+
+  private static TimeZone UTC = TimeZone.getTimeZone("UTC");
+  private static RE   re_newline2br, re_brbr2p, re_mail, re_url, re_tags,
+                      re_tables, re_forbiddenTags;
+
+  private StringUtil() { }  // this avoids contruction
+
+  static {
+    try {
+      //precompile regex
+      re_newline2br = new RE("(\r?\n){1}");
+      re_brbr2p     = new RE("(<br>\r?\n<br>){1,}");
+      re_mail       = new RE("\\b([a-zA-Z0-9_.-]+)@([a-zA-Z0-9_-]+)\\.([a-zA-Z0-9_.-]+)\\b");
+      re_url        = new RE("((https://)|(http://)|(ftp://)){1}([a-zA-Z0-9_-]+).([a-zA-Z0-9_.:-]+)/?([^ \t\r\n<>\\)\\]]+[^ \t\r\n.,<>\\)\\]])");
+      re_tags       = new RE("<[^>]*>",RE.REG_ICASE);
+      re_tables = new RE("<[ \t\r\n/]*(table|td|tr)[ \t\r\n]*>",RE.REG_ICASE);
+      re_forbiddenTags = new RE("<[ \t\r\n/]*(html|meta|body|head|script)[ \t\r\n]*>",RE.REG_ICASE);
+    }
+    catch (REException e){
+      System.err.println("FATAL: StringUtil: could not precompile REGEX: "+e.toString());
+    }
+  }
+
+  /**
+   * Formats a number with the specified minimum and maximum number of digits.
+   **/
+  public static synchronized String zeroPaddingNumber(long value, int minDigits,
+      int maxDigits)
+  {
+    NumberFormat numberFormat = NumberFormat.getInstance();
+    numberFormat.setMinimumIntegerDigits(minDigits);
+    numberFormat.setMaximumIntegerDigits(maxDigits);
+    return numberFormat.format(value);
+  }
+
+  /**
+   * Wandelt Datum in einen 8-ziffrigen String um (yyyymmdd)
+   * @param theDate
+   * @return 8-ziffriger String (yyyymmdd)
+   */
+
+  public static final String date2webdbDate (GregorianCalendar theDate) {
+    StringBuffer webdbDate = new StringBuffer();
+    webdbDate.append(String.valueOf(theDate.get(Calendar.YEAR)));
+    webdbDate.append(pad2(theDate.get(Calendar.MONTH) + 1));
+    webdbDate.append(pad2(theDate.get(Calendar.DATE)));
+
+    return  webdbDate.toString();
+  }
+
+  /**
+   * Wandelt Calendar in einen 12-ziffrigen String um (yyyymmddhhmm)
+   * @param theDate
+   * @return 12-ziffriger String (yyyymmdd)
+   */
+
+  public static final String date2webdbDateTime (GregorianCalendar theDate) {
+    StringBuffer webdbDate = new StringBuffer();
+    webdbDate.append(String.valueOf(theDate.get(Calendar.YEAR)));
+    webdbDate.append(pad2(theDate.get(Calendar.MONTH) + 1));
+    webdbDate.append(pad2(theDate.get(Calendar.DATE)));
+    webdbDate.append(pad2(theDate.get(Calendar.HOUR)));
+    webdbDate.append(pad2(theDate.get(Calendar.MINUTE)));
+
+    return  webdbDate.toString();
+  }
+
+  /**
+   * Return a http://www.w3.org/TR/NOTE-datetime formatted date (yyyy-mm-ddThh:mm:ssTZ)
+   * @param theDate
+   * @return w3approved datetime
+   */
+
+  public static final String date2w3DateTime (GregorianCalendar theDate) {
+    StringBuffer webdbDate = new StringBuffer();
+    webdbDate.append(String.valueOf(theDate.get(Calendar.YEAR)));
+    webdbDate.append("-");
+    webdbDate.append(pad2(theDate.get(Calendar.MONTH) + 1));
+    webdbDate.append("-");
+    webdbDate.append(pad2(theDate.get(Calendar.DATE)));
+    webdbDate.append("T");
+    webdbDate.append(pad2(theDate.get(Calendar.HOUR_OF_DAY)));
+    webdbDate.append(":");
+    webdbDate.append(pad2(theDate.get(Calendar.MINUTE)));
+    webdbDate.append(":");
+    webdbDate.append(pad2(theDate.get(Calendar.SECOND)));
+    //assumes you are an hour-multiple away from UTC....
+    int offset=(theDate.get(Calendar.ZONE_OFFSET)/(60*60*1000));
+    if (offset < 0){
+      webdbDate.append("-");
+    }
+    else{
+      webdbDate.append("+");
+    }
+    webdbDate.append(pad2(Math.abs(offset)));
+    webdbDate.append(":00");
+    return  webdbDate.toString();
+  }
+
+  /**
+   * wandelt Calendar in dd.mm.yyyy / hh.mm um
+   * @param theDate
+   * @return String mit (dd.mm.yyyy / hh.mm um)
+   */
+  public static String date2readableDateTime (GregorianCalendar theDate) {
+    String readable = "";
+    int hour;
+    readable += pad2(theDate.get(Calendar.DATE));
+    readable += "." + pad2(theDate.get(Calendar.MONTH) + 1);
+    readable += "." + String.valueOf(theDate.get(Calendar.YEAR));
+    hour = theDate.get(Calendar.HOUR);
+    if (theDate.get(Calendar.AM_PM) == Calendar.PM)
+      hour += 12;
+    readable += " / " + pad2(hour);
+    readable += ":" + pad2(theDate.get(Calendar.MINUTE));
+    return  readable;
+  }
+
+  /**
+  *  deleteForbiddenTags
+  *  this method deletes all <script>, <body> and <head>-tags
+  */
+  public static final String deleteForbiddenTags(String haystack) {
+    return re_forbiddenTags.substituteAll(haystack,"");
+  }
+
+  /**
+   *  deleteHTMLTableTags
+   *  this method deletes all <table>, <tr> and <td>-tags
+   */
+  public static final String deleteHTMLTableTags(String haystack) {
+    return re_tables.substituteAll(haystack,"");
+  }
+
+  /**
+   * wandelt eine Datum in einen 8-buchstabigen String, der durch <code>/</code>
+   * getrennt ist.
+   *
+   * @param webdbDate
+   * @return String mit <code>/yyyy/mm/dd</code>
+   */
+  public static final String webdbDate2path (String webdbDate) {
+    StringBuffer path = new StringBuffer();
+    path.append("/").append(webdbDate.substring(0, 4));
+    path.append("/").append(webdbDate.substring(4, 6));
+    path.append("/");
+    //who did this?
+    //path.append("/").append(webdbDate.substring(6, 8));
+    return  path.toString();
+  }
+
+  /**
+   * Replaces in <code>haystack</code> matching <code>pattern</code> by <code>substitute</code>
+   * @param haystack
+   * @param pattern
+   * @param substitute
+   * @return String with replacements.
+   */
+  public static String regexpReplace(String haystack, String pattern, String substitute) {
+    try {
+      RE regex = new RE(pattern);
+      return regex.substituteAll(haystack,substitute);
+    } catch(REException ex){
+      return null;
+    }
+  }
+
+  /**
+   * L?scht <code>/</code> am Ende des Strings, falls vorhanden
+   * @param path
+   * @return String ohne <code>/</code> am Ende
+   */
+  public static final String removeSlash (String path) {
+    return  path.length() > 1 && path.endsWith("/") ? path.substring(0, path.length()
+        - 1) : path;
+  }
+
+  /**
+   * formatiert eine Zahl (0-99) zweistellig (z.B. 5 -> 05)
+   * @return zwistellige Zahl
+   */
+  public static String pad2 (int number) {
+    return  number < 10 ? "0" + number : String.valueOf(number);
+  }
+
+  /**
+   * formatiert eine Zahl (0-999) dreistellig (z.B. 7 -> 007)
+   *
+   * @return 3-stellige Zahl
+   */
+  public static String pad3 (int number) {
+    return  number < 10 ? "00" + number : number < 100 ? "0" + number : String.valueOf(number);
+  }
+
+  /**
+   * Liefert Default-Wert def zur?ck, wenn String <code>s</code>
+   * kein Integer ist.
+   *
+   * @param s
+   * @param def
+   * @return geparster int aus s oder def
+   */
+  public static int parseInt(String s, int def) {
+    if (s == null) return def;
+    try {
+      return Integer.parseInt(s);
+    } catch (NumberFormatException e) {
+      return def;
+    }
+  }
+
+
+  /**
+   *  convertNewline2P ist eine regex-routine zum umwandeln von 2 oder mehr newlines (\n)
+   *  in den html-tag <p>
+   *  nur sinnvoll, wenn text nicht im html-format eingegeben
+   */
+  private static String convertNewline2P(String haystack) {
+    return re_brbr2p.substituteAll(haystack,"\n</p><p>");
+  }
+
+  /**
+   *  convertNewline2Break ist eine regex-routine zum umwandeln von 1 newline (\n)
+   *  in den html-tag <br>
+   *  nur sinnvoll, wenn text nicht im html-format eingegeben
+   */
+  private static String convertNewline2Break(String haystack) {
+    return re_newline2br.substituteAll(haystack,"$0<br />");
+  }
+
+  /**
+   *  createMailLinks wandelt text im email-adressenformat
+   *  in einen klickbaren link um
+   *  nur sinnvoll, wenn text nicht im html-format eingegeben
+   */
+  private static String createMailLinks(String haystack) {
+    return re_mail.substituteAll(haystack,"<a href=\"mailto:$0\">$0</a>");
+  }
+
+
+  /**
+   *  createMailLinks wandelt text im email-adressenformat
+   *  in einen klickbaren link um
+   *  nur sinnvoll, wenn text nicht im html-format eingegeben
+   */
+  private static String createMailLinks(String haystack, String imageRoot, String mailImage) {
+    return re_mail.substituteAll(haystack,"<img src=\""+imageRoot+"/"+mailImage+"\" border=\"0\"/>&#160;<a href=\"mailto:$0\">$0</a>");
+  }
+
+
+  /**
+   *  createURLLinks wandelt text im url-format
+   *  in einen klickbaren link um
+   *  nur sinnvoll, wenn text nicht im html-format eingegeben
+   */
+  private static String createURLLinks(String haystack) {
+    return re_url.substituteAll(haystack,"<a href=\"$0\">$0</a>");
+  }
+
+  /**
+   * this routine takes text in url format and makes
+   * a clickaeble "<href>" link removing any "illegal" html tags
+   * @param haystack  the url
+   * @param title  the href link text
+   * @param imageRoot  the place to find icons
+   * @param extImage  the url of the icon to show next to the link
+   * @return a String containing the url
+   */
+  private static String createURLLinks(String haystack, String title, String imageRoot,String extImage) {
+    if (title == null) {
+      return re_url.substituteAll(haystack,"<img src=\""+imageRoot+"/"+extImage+"\" border=\"0\"/>&#160;<a href=\"$0\">$0</a>");
+    }
+               title = removeHTMLTags(title);
+               return re_url.substituteAll(haystack,"<img src=\""+imageRoot+"/"+extImage+"\" border=\"0\"/>&#160;<a href=\"$0\">"+title+"</a>");
+  }
+
+  /**
+   * this routine takes text in url format and makes
+   * a clickaeble "<href>" link removing any "illegal" html tags
+   * @param haystack the url
+   * @param imageRoot the place to find icons
+   * @param extImage the url of the icon to show next to the link
+   * @param intImage unused
+   * @return a String containing the url
+   */
+  private static String createURLLinks(String haystack, String title, String imageRoot,String extImage,String intImage) {
+    return createURLLinks(haystack, title, imageRoot, extImage);
+  }
+
+  /**
+   * this method deletes all html tags
+   */
+  public static String removeHTMLTags(String haystack){
+    return re_tags.substituteAll(haystack,"");
+  }
+
+
+  /**
+   *  createHTML ruft alle regex-methoden zum unwandeln eines nicht
+   *  htmlcodierten string auf und returnt einen htmlcodierten String
+   */
+  public static String createHTML(String content){
+    content=convertNewline2Break(content);
+    content=convertNewline2P(content);
+    content=createMailLinks(content);
+    content=createURLLinks(content);
+    return content;
+  }
+
+
+  /**
+   *  createHTML ruft alle regex-methoden zum unwandeln eines nicht
+   *  htmlcodierten string auf und returnt einen htmlcodierten String
+   */
+  public static String createHTML(String content,String producerDocRoot,String mailImage,String extImage,String intImage){
+    content=convertNewline2Break(content);
+    content=convertNewline2P(content);
+    content=createMailLinks(content, producerDocRoot,mailImage);
+    content=createURLLinks(content, null, producerDocRoot, extImage, intImage);
+
+    return content;
+  }
+
+  /**
+   * Converts mir's horrible internal date format (yyyy-MM-dd HH:mm:ss+zz) into a java Date
+   *
+   * @param anInternalDate
+   */
+  public static Date convertMirInternalDateToDate(String anInternalDate) {
+    Calendar calendar = new GregorianCalendar();
+
+    int year;
+    int month;
+    int day;
+    int hours;
+    int minutes;
+    int seconds;
+    int timezoneOffset;
+
+    year = Integer.parseInt(anInternalDate.substring(0,4));
+    month = Integer.parseInt(anInternalDate.substring(5,7));
+    day = Integer.parseInt(anInternalDate.substring(8,10));
+    hours = Integer.parseInt(anInternalDate.substring(11,13));
+    minutes = Integer.parseInt(anInternalDate.substring(14,16));
+    seconds = Integer.parseInt(anInternalDate.substring(17,19));
+
+    timezoneOffset = Integer.parseInt(anInternalDate.substring(20,22));
+    if (anInternalDate.charAt(19) == '-') {
+      timezoneOffset = -timezoneOffset;
+    }
+
+    calendar.setTimeZone(UTC);
+    calendar.set(year, month-1, day, hours, minutes, seconds);
+    calendar.add(Calendar.HOUR, -timezoneOffset);
+
+    return calendar.getTime();
+  }
+
+}
+