--- /home/leineweb/work/jacorb/JacORB-2.2.2/src/org/jacorb/idl/NameTable.java	Mon Mar 28 21:58:30 2005
+++ ./NameTable.java	Tue Aug 23 15:23:41 2005
@@ -174,7 +174,9 @@
                 // remove the inherited type definition, a new one will be
                 // added soon under this name! Addition of this line fixes
                 // bug #345
-                TypeMap.removeDefinition( name );
+                // additionally, check for a redefined constant (bug 517)
+		if (!kind.equals("constant"))
+                  TypeMap.removeDefinition( name );
             }
         }