[PATCH] for bug #756(Ant doesn't work)

[Takashi Okamoto]

Hi, kaffe!! 

I made patch for bug #756 that Jakartra-Ant (Java Build tool) doesn't
work with Kaffe. Error occurs when buffer length (len) is 0 at
write(byte[] buf, int off, int len) method  in
java/util/zip/ZipOutputStream.java and java/util/zip/DeflateOutputStream.java

My patch throw IndexOutOfBoundsException() when offset (off) and
length (len) are invalid, and exit method when length is 0.
(I refered SUN's java/util/zip/* and modified them.)

Ant will be one of most important software for Java. 
Please fix this problem.

regards.
------------------
Takashi Okamoto

-----------------------------
diff -urN orig/libraries/javalib/java/util/zip/DeflaterOutputStream.java 
libraries/javalib/java/util/zip/DeflaterOutputStream.java
--- orig/libraries/javalib/java/util/zip/DeflaterOutputStream.java      Wed Mar  7 
08:21:19 2001
+++ libraries/javalib/java/util/zip/DeflaterOutputStream.java   Wed Mar  7 08:09:32 
+2001
@@ -60,6 +60,11 @@
 }
 
 public void write(byte b[], int off, int len) throws IOException {
+        if ((off | len | (off + len) | (b.length - (off + len))) < 0) {
+         throw new IndexOutOfBoundsException();
+        } else if (len == 0) {
+         return;
+        }
        def.setInput(b, off, len);
        deflate();
 }
diff -urN orig/libraries/javalib/java/util/zip/ZipOutputStream.java 
libraries/javalib/java/util/zip/ZipOutputStream.java
--- orig/libraries/javalib/java/util/zip/ZipOutputStream.java   Wed Mar  7 08:20:57 
2001
+++ libraries/javalib/java/util/zip/ZipOutputStream.java        Wed Mar  7 08:11:38 
+2001
@@ -321,6 +321,13 @@
 
 public synchronized void write(byte[] buf, int off, int len) throws IOException
 {
+       if ((off < 0) || (off > buf.length) || (len < 0) ||
+            ((off + len) > buf.length) || ((off + len) < 0)) {
+            throw new IndexOutOfBoundsException();
+        } else if (len == 0) {
+            return;
+        }
+
        super.write(buf, off, len);
        crc.update(buf, off, len);
 }