Also update location attributes when reusing an element

Fix #1255

Author: laeubi

ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/target/TargetDefinition.java

@@ -1269,6 +1269,7 @@ private void updateIUContainerElements(Element containersElement, List<Element>
 					} else {
 						oldContainersByRepo.get(repoURL).remove(0);
 					}
+					TargetDefinitionDocumentTools.updateAttributes(oldContainer, container);
 				} else {
 					Node movedContainer = fDocument.importNode(container, true);
 					TargetDefinitionDocumentTools.addChildWithIndent(containersElement, movedContainer);

ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/target/TargetDefinitionDocumentTools.java

@@ -16,7 +16,10 @@
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Comparator;
+import java.util.HashMap;
+import java.util.HashSet;
 import java.util.List;
+import java.util.Map;
 
 import org.eclipse.core.runtime.preferences.IEclipsePreferences;
 import org.eclipse.core.runtime.preferences.InstanceScope;
@@ -85,6 +88,33 @@ public static void addChildWithIndent(Node parent, Node child) {
 		appendTextNode(parent, false);
 	}
 
+	public static void updateAttributes(Element oldElement, Element newElement) {
+		Map<String, String> previous = asMap(oldElement.getAttributes());
+		Map<String, String> current = asMap(newElement.getAttributes());
+		HashSet<String> all = new HashSet<>();
+		all.addAll(previous.keySet());
+		all.addAll(current.keySet());
+		for (String attr : all) {
+			if (current.containsKey(attr)) {
+				// if the current element contains the attribute then set it to
+				// the current value
+				oldElement.setAttribute(attr, current.get(attr));
+			} else {
+				// otherwise remove the attribute
+				oldElement.removeAttribute(attr);
+			}
+		}
+	}
+
+	private static Map<String,String> asMap(NamedNodeMap attributes) {
+		HashMap<String, String> map = new HashMap<>();
+		for (int i = 0; i < attributes.getLength(); i++) {
+			Node item = attributes.item(i);
+			map.put(item.getNodeName(), item.getNodeValue());
+		}
+		return map;
+	}
+
 	/**
 	 * For all the children of the parentElement, if any of the oldElements are not
 	 * found in the newElements list then they are removed. All newElements that are