| commit | f61061d7cd1c8791d0c969947467fe697e01ddd7 | [log] [tgz] |
|---|---|---|
| author | klow <klow> | Fri Oct 12 23:31:26 2007 +0000 |
| committer | klow <klow> | Fri Oct 12 23:31:26 2007 +0000 |
| tree | 0f915f71b47b069eae2eae5fc7840ea4c14a6f2a | |
| parent | 29907e594e69526a53fdab1b43dde64f57db1734 [diff] |
wlu: silent an un-needed warning
diff --git a/org.eclipse.epf.export.xml/src/org/eclipse/epf/export/xml/services/XMLLibrary.java b/org.eclipse.epf.export.xml/src/org/eclipse/epf/export/xml/services/XMLLibrary.java index dbf4e6c..779a92d 100644 --- a/org.eclipse.epf.export.xml/src/org/eclipse/epf/export/xml/services/XMLLibrary.java +++ b/org.eclipse.epf.export.xml/src/org/eclipse/epf/export/xml/services/XMLLibrary.java
@@ -870,8 +870,12 @@ // check if the element has a unique id or not Object old = getElement(id); if ((old != null) && (old != element)) { - logger.logWarning(NLS.bind( + if (! ( (old instanceof Section) && + (element instanceof Section) + )) { + logger.logWarning(NLS.bind( ExportXMLResources.xmlLibrary_id_not_unique, id)); + } } setElement(id, element);