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;
     }