From: Mathieu Baudier <mbaudier@argeo.org>
Date: Sun, 19 Mar 2023 08:57:56 +0000 (+0100)
Subject: Fix MANIFEST cleaning
X-Git-Tag: v2.3.5~45
X-Git-Url: https://git.argeo.org/?a=commitdiff_plain;h=18553c489a75f33ac247da065958b6caea9627d9;p=cc0%2Fargeo-build.git

Fix MANIFEST cleaning
---

diff --git a/src/org/argeo/build/Repackage.java b/src/org/argeo/build/Repackage.java
index 909e2f4..65dfb8f 100644
--- a/src/org/argeo/build/Repackage.java
+++ b/src/org/argeo/build/Repackage.java
@@ -1018,15 +1018,17 @@ public class Repackage {
 		}
 
 		// de-pollute MANIFEST
-		for (Object header : manifest.getMainAttributes().keySet()) {
-			switch (header.toString()) {
+		for (Iterator<Map.Entry<Object, Object>> manifestEntries = manifest.getMainAttributes().entrySet()
+				.iterator(); manifestEntries.hasNext();) {
+			Map.Entry<Object, Object> manifestEntry = manifestEntries.next();
+			switch (manifestEntry.getKey().toString()) {
 			case "Archiver-Version":
 			case "Build-By":
 			case "Created-By":
 			case "Originally-Created-By":
 			case "Tool":
 			case "Bnd-LastModified":
-				manifest.getMainAttributes().remove(header);
+				manifestEntries.remove();
 				break;
 			default: // do nothing
 			}