Fix MANIFEST cleaning

diff --git a/src/org/argeo/build/Repackage.java b/src/org/argeo/build/Repackage.java
index 909e2f456ba80510ae9cc867bacd56597d4dc7d7..65dfb8f37d2117e6b5bb8a7bd160cf3b6d12da2b 100644 (file)
--- 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
                        }