From d2464d9feb09ba823828a8762b0176298aa40031 Mon Sep 17 00:00:00 2001
From: "ray.j.greenwell" <ray.j.greenwell@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Fri, 8 Jan 2010 22:04:02 +0000
Subject: [PATCH] JDK 1.5 compatibility.

git-svn-id: https://samskivert.googlecode.com/svn/trunk@2691 6335cc39-0255-0410-8fd6-9bcaacd3b74c
---
 src/java/com/samskivert/util/IntSets.java | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/src/java/com/samskivert/util/IntSets.java b/src/java/com/samskivert/util/IntSets.java
index 5d441d0b..33a294c0 100644
--- a/src/java/com/samskivert/util/IntSets.java
+++ b/src/java/com/samskivert/util/IntSets.java
@@ -212,7 +212,6 @@ public class IntSets
         @Override public boolean contains (int value) { return false; }
         @Override public int size () { return 0; }
 
-        @Override
         public Interator interator ()
         {
             return EMPTY_INTERATOR;
@@ -257,12 +256,12 @@ public class IntSets
      */
     protected static abstract class FindingInterator extends AbstractInterator
     {
-        @Override public boolean hasNext ()
+        public boolean hasNext ()
         {
             return _hasNext || (_hasNext = findNext());
         }
 
-        @Override public int nextInt ()
+        public int nextInt ()
         {
             if (_hasNext) {
                 _hasNext = false;
@@ -481,7 +480,15 @@ public class IntSets
                 array[index++] = it.nextInt();
             } while ((index < Integer.MAX_VALUE) && it.hasNext());
             // we may need to trim the array down to size
-            return (index == Integer.MAX_VALUE) ? array : Arrays.copyOf(array, index);
+            // 1.6ism: return (index == Integer.MAX_VALUE) ? array : Arrays.copyOf(array, index);
+            if (index == Integer.MAX_VALUE) {
+                return array;
+
+            } else {
+                int[] trimmed = new int[index];
+                System.arraycopy(array, 0, trimmed, 0, index);
+                return trimmed;
+            }
         }
 
         /** The ints we <b>don't</b> contain. */