diff -up cryptix-3.2.0/src/xjava/security/IJCE.java.jdk1.5fix cryptix-3.2.0/src/xjava/security/IJCE.java

--- src/xjava/security/IJCE.java.jdk1.5fix        2007-10-04 14:42:48.000000000 +0200

+++ src/xjava/security/IJCE.java  2007-10-04 14:43:17.000000000 +0200

@@ -195,9 +195,9 @@ public class IJCE

         String typedot = type + ".";

         Vector algorithms = new Vector();

-        Enumeration enum = provider.propertyNames();

-        while (enum.hasMoreElements()) {

-            String key = (String) (enum.nextElement());

+        Enumeration enum1 = provider.propertyNames();

+        while (enum1.hasMoreElements()) {

+            String key = (String) (enum1.nextElement());

             if (key.startsWith(typedot))

                 algorithms.addElement(key.substring(typedot.length()));

         }

@@ -236,18 +236,18 @@ public class IJCE

         Provider[] providers = getProvidersInternal();

         for (int i = 0; i < providers.length; i++) {

-            Enumeration enum = providers[i].propertyNames();

-            while (enum.hasMoreElements()) {

-                String key = (String) (enum.nextElement());

+            Enumeration enum1 = providers[i].propertyNames();

+            while (enum1.hasMoreElements()) {

+                String key = (String) (enum1.nextElement());

                 if (key.startsWith(typedot))

                     algorithms.put(key.substring(typedot.length()), "");

             }

         }

         String[] buf = new String[algorithms.size()];

-        Enumeration enum = algorithms.keys();

+        Enumeration enum1 = algorithms.keys();

         int n = 0;

-        while (enum.hasMoreElements())

-            buf[n++] = (String) (enum.nextElement());

+        while (enum1.hasMoreElements())

+            buf[n++] = (String) (enum1.nextElement());

         return buf;

     }