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:12:14 -0000 @@ -84,9 +84,13 @@ } public ITypedElement replace(ITypedElement child, ITypedElement other) { + /* commented out for #34745 ITypedElement e= super.replace(child, other); nodeChanged(this); return e; + */ + nodeChanged(this); + return child; } void nodeChanged(PropertyNode node) {