StructureElement treeSElement = element;\r
elements.add(treeSElement);\r
paths.add(path);\r
- log.debug("Registered " + path + " (label: '"\r
- + treeSElement.getLabel() + "', position: "\r
- + elements.size() + ")");\r
+\r
+ if (log.isTraceEnabled())\r
+ log.trace("Registered " + path + " (label: '"\r
+ + treeSElement.getLabel() + "', position: "\r
+ + elements.size() + ")");\r
}\r
\r
public StructureElement getElement(StructurePath path) {\r