fix: prevent NullPointerException and ConcurrentModificationException when renaming something (PR #1055)

2020-12-18 15:12:32 +01:00
parent 80a879bddf
commit 549f346d5e
1 changed files with 1 additions and 1 deletions
@@ -23,7 +23,7 @@ public class CodeIndex {
 		values.add(value);
 	}

-	public void removeForCls(JavaClass cls) {
+	public synchronized void removeForCls(JavaClass cls) {
 		values.removeIf(v -> v.getJavaNode().getTopParentClass().equals(cls));
 	}