From 6e5875cef3dfb39939357413e46de8c743c62034 Mon Sep 17 00:00:00 2001 From: ghidra1 Date: Sat, 16 Dec 2023 10:31:44 -0500 Subject: [PATCH] GP-0 Correct concurrent modification exception for build help --- .../src/main/help/help/topics/BSim/DatabaseConfiguration.html | 2 +- .../Help/src/main/java/help/validator/AnchorManager.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Ghidra/Features/BSim/src/main/help/help/topics/BSim/DatabaseConfiguration.html b/Ghidra/Features/BSim/src/main/help/help/topics/BSim/DatabaseConfiguration.html index 39f5b88800..a3cb2d7d04 100644 --- a/Ghidra/Features/BSim/src/main/help/help/topics/BSim/DatabaseConfiguration.html +++ b/Ghidra/Features/BSim/src/main/help/help/topics/BSim/DatabaseConfiguration.html @@ -605,7 +605,7 @@
-

Elasticsearch Security

+

Elasticsearch Security

diff --git a/Ghidra/Framework/Help/src/main/java/help/validator/AnchorManager.java b/Ghidra/Framework/Help/src/main/java/help/validator/AnchorManager.java index c3e4140f49..7de88f0ead 100644 --- a/Ghidra/Framework/Help/src/main/java/help/validator/AnchorManager.java +++ b/Ghidra/Framework/Help/src/main/java/help/validator/AnchorManager.java @@ -112,7 +112,7 @@ public class AnchorManager { } private void cleanupDuplicateAnchors() { - Set keySet = duplicateAnchorsById.keySet(); + Set keySet = new HashSet<>(duplicateAnchorsById.keySet()); for (String id : keySet) { List list = duplicateAnchorsById.get(id); for (Iterator iterator = list.iterator(); iterator.hasNext();) {