[patch] A patch to rename the variable

db-3.2.9-fix-java5.patch (text/plain), 598 bytes, created by Justin Clark on 2005-03-10 11:09:41 UTC

--- db-3.2.9/java/src/com/sleepycat/db/DbEnv.java.orig	2005-03-10 18:30:19.705147736 +0000
+++ db-3.2.9/java/src/com/sleepycat/db/DbEnv.java	2005-03-10 18:03:07.930215232 +0000
@@ -78,9 +78,9 @@
     //
     /*package*/ void _notify_dbs()
     {
-        Enumeration enum = dblist_.elements();
-        while (enum.hasMoreElements()) {
-            Db db = (Db)enum.nextElement();
+        Enumeration en = dblist_.elements();
+        while (en.hasMoreElements()) {
+            Db db = (Db)en.nextElement();
             db._notify_dbenv_close();
         }
         dblist_.removeAllElements();