[cp-patches] FYI: fixlet for java.util.prefs.AbstractPreferences

[Roman Kennke]

I found that java.util.prefs.AbstractPreferences.flushNode() throws 
casting errors. This is fixed with the attached patch.

2005-05-18  Roman Kennke  <address@hidden>

       * java/util/prefs/AbstractPreferences.java
       (flushNode): Changed toArray() call to toArray(new String[0]) call
       to avoid casting errors.


/Roman

Index: java/util/prefs/AbstractPreferences.java
===================================================================
RCS file: 
/cvsroot/classpath/classpath/java/util/prefs/AbstractPreferences.java,v
retrieving revision 1.10
diff -u -r1.10 AbstractPreferences.java
--- java/util/prefs/AbstractPreferences.java    2 Dec 2004 13:17:21 -0000       
1.10
+++ java/util/prefs/AbstractPreferences.java    18 May 2005 08:40:17 -0000
@@ -1042,7 +1042,7 @@
             } else {
                 flushSpi();
             }
-            keys = (String[]) childCache.keySet().toArray();
+            keys = (String[]) childCache.keySet().toArray(new String[]{});
         }
 
         if (keys != null) {