android: brazil StringIndexOutOfBoundsException fix

src/sunlabs/brazil/util/http/HttpUtil.java

 /*
  * HttpUtil.java
  *
  * Brazil project web application toolkit,
  * export version: 2.3 
  * Copyright (c) 1999-2004 Sun Microsystems, Inc.
  *
  * Sun Public License Notice
  *
  * The contents of this file are subject to the Sun Public License Version 
  * 1.0 (the "License"). You may not use this file except in compliance with 
  * the License. A copy of the License is included as the file "license.terms",
  * and also available at http://www.sun.com/
  * 
  * The Original Code is from:
  *    Brazil project web application toolkit release 2.3.
  * The Initial Developer of the Original Code is: cstevens.
  * Portions created by cstevens are Copyright (C) Sun Microsystems, Inc.
  * All Rights Reserved.
  * 
  * Contributor(s): cstevens, guym, suhler.
  *
  * Version:  2.3
  * Created by cstevens on 99/09/15
  * Last modified by suhler on 04/11/30 15:19:46
  *
  * Version Histories:
  *
+ * unversioned 12/11/27-15:37:00 (Andrey Novikov)
+ *   fixed StringIndexOutOfBoundsException in formatTime(long time)
+ *
  * 2.3 04/11/30-15:19:46 (suhler)
  *   fixed sccs version string
  *
  * 2.2 03/08/01-16:17:39 (suhler)
  *   fixes for javadoc
  *
  * 2.1 02/10/01-16:37:05 (suhler)
  *   version change
  *
  * 1.14 02/07/29-14:57:34 (suhler)
@@ skipping 245 matching lines @@
      * Returns a string containing an HTTP-formatted date.
      *
      * @param   time
      *          The date to format (current time in msec).
      *
      * @return  HTTP date string representing the given time.
      */
     public static String
     formatTime(long time)
     {
-        return dateFormat.format(new Date(time)).substring(0, 29);
+    String date = dateFormat.format(new Date(time));
+    int plus = date.indexOf('+');
+    if (plus > 0)
+      date = date.substring(0, plus);
+        return date;
     }
 
     /**
      * Convert a last-modified date in "standard" format
      * into a time stamp.  This "inverses" formatTime.
      *
      * @param           time
      *                  A correctly formatted HTTP date string.
      * @return          milliseconds since the epoch, or 0 if the conversion
      *                  failed.
@@ skipping 137 matching lines @@
             case 500:   return "Server Error";
             case 501:   return "Not Implemented";
             case 502:   return "Bad Gateway";
             case 503:   return "Service Unavailable";
             case 504:   return "Gateway Time-out";
             case 505:   return "HTTP Version not supported";
             default:    return "Error";
         }
     }
 }