Index: PropertiesStructureCreator.java =================================================================== RCS file: /home/eclipse/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/PropertiesStructureCreator.java,v retrieving revision 1.15 diff -u -r1.15 PropertiesStructureCreator.java --- PropertiesStructureCreator.java 17 Nov 2003 23:09:58 -0000 1.15 +++ PropertiesStructureCreator.java 16 Jun 2004 14:08:36 -0000 @@ -84,9 +84,13 @@ } public ITypedElement replace(ITypedElement child, ITypedElement other) { - ITypedElement e= super.replace(child, other); + +// ITypedElement e= super.replace(child, other); +// nodeChanged(this); +// return e; + nodeChanged(this); - return e; + return child; } void nodeChanged(PropertyNode node) {