1 files changed, 12 insertions, 1 deletions
diff --git a/java/util/BitSet.java b/java/util/BitSet.java
index c56c0d18c..1f9cb599c 100644
--- a/java/util/BitSet.java
+++ b/java/util/BitSet.java
@@ -1,5 +1,5 @@
 /* BitSet.java -- A vector of bits.
-   Copyright (C) 1998, 1999, 2000, 2001  Free Software Foundation, Inc.
+   Copyright (C) 1998, 1999, 2000, 2001, 2004  Free Software Foundation, Inc.
 
 This file is part of GNU Classpath.
 
@@ -735,4 +735,15 @@ public class BitSet implements Cloneable, Serializable
         bits = nd;
       }
   }
+
+  // This is used by EnumSet for efficiency.
+  final boolean containsAll(BitSet other)
+  {
+    for (int i = bs.bits.length - 1; i >= 0; i--)
+      {
+	if ((bits[i] & bs.bits[i]) != bs.bits[i])
+	  return false;
+      }
+    return true;
+  }
 }