mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
get rid of JDOM duplicates in memory
This commit is contained in:
@@ -261,7 +261,8 @@ public class InspectionProfileImpl extends ProfileEx implements ModifiableModel,
|
||||
|
||||
StringInterner interner = new StringInterner();
|
||||
for (final Object o : element.getChildren(INSPECTION_TOOL_TAG)) {
|
||||
Element toolElement = (Element)o;
|
||||
// make clone to avoid retaining memory via o.parent pointers
|
||||
Element toolElement = (Element)((Element)o).clone();
|
||||
JDOMUtil.internElement(toolElement, interner);
|
||||
|
||||
String toolClassName = toolElement.getAttributeValue(CLASS_TAG);
|
||||
|
||||
Reference in New Issue
Block a user