ConcurrentModificationException in CachingDefinitionRenamer

[alex999990009]

java.util.ConcurrentModificationException
	at java.base/java.util.HashMap.computeIfAbsent(HashMap.java:1221)
	at org.arend.extImpl.definitionRenamer.CachingDefinitionRenamer.renameDefinition(CachingDefinitionRenamer.java:21)
	at org.arend.term.prettyprint.CollectFreeVariablesVisitor.visitDefCall(CollectFreeVariablesVisitor.java:130)
	at org.arend.term.prettyprint.CollectFreeVariablesVisitor.visitDefCall(CollectFreeVariablesVisitor.java:18)
	at org.arend.core.expr.visitor.VoidExpressionVisitor.visitClassCall(VoidExpressionVisitor.java:65)
	at org.arend.core.expr.visitor.VoidExpressionVisitor.visitClassCall(VoidExpressionVisitor.java:13)
	at org.arend.core.expr.ClassCallExpression.accept(ClassCallExpression.java:515)
	at org.arend.term.prettyprint.ToAbstractVisitor.convert(ToAbstractVisitor.java:110)
	at org.arend.term.prettyprint.ToAbstractVisitor.convert(ToAbstractVisitor.java:93)
	at org.arend.term.prettyprint.ToAbstractVisitor.convert(ToAbstractVisitor.java:85)
	at org.arend.core.expr.Expression.prettyPrint(Expression.java:104)
	at org.arend.ext.prettyprinting.doc.TermDoc.getString(TermDoc.java:37)
	at org.arend.ext.prettyprinting.doc.CachingDoc.getText(CachingDoc.java:17)
	at org.arend.ext.prettyprinting.doc.CachingDoc.isSingleLine(CachingDoc.java:48)
	at org.arend.ext.prettyprinting.doc.HangDoc.needNewLine(HangDoc.java:113)
	at org.arend.ext.prettyprinting.doc.HangDoc.getHeight(HangDoc.java:63)
	at org.arend.ext.prettyprinting.doc.VListDoc.isSingleLine(VListDoc.java:58)
	at org.arend.ext.prettyprinting.doc.HangDoc.linearize(HangDoc.java:93)
	at org.arend.ext.prettyprinting.doc.HangDoc.linearize(HangDoc.java:86)
	at org.arend.ext.prettyprinting.doc.VListDoc.linearize(VListDoc.java:85)
	at org.arend.ext.prettyprinting.doc.Doc.linearize(Doc.java:23)
	at org.arend.ext.prettyprinting.doc.LineDocVisitor.visitDoc(LineDocVisitor.java:7)
	at org.arend.ext.prettyprinting.doc.LineDocVisitor.visitVList(LineDocVisitor.java:15)
	at org.arend.ext.prettyprinting.doc.LineDocVisitor.visitVList(LineDocVisitor.java:5)
	at org.arend.ext.prettyprinting.doc.VListDoc.accept(VListDoc.java:23)
	at org.arend.ext.prettyprinting.doc.DocStringBuilder.build(DocStringBuilder.java:14)
	at org.arend.ext.prettyprinting.doc.Doc.toString(Doc.java:28)
	at java.base/java.lang.String.valueOf(String.java:4220)
	at org.arend.toolWindow.errors.ArendMessagesView.updateEditors$lambda$13$lambda$12(ArendMessagesView.kt:221)
	at com.intellij.openapi.application.ActionsKt.runReadAction$lambda$3(actions.kt:31)
	at com.intellij.openapi.application.impl.RwLockHolder.runReadAction(RwLockHolder.kt:271)
	at com.intellij.openapi.application.impl.ApplicationImpl.runReadAction(ApplicationImpl.java:845)
	at com.intellij.openapi.application.ActionsKt.runReadAction(actions.kt:31)
	at org.arend.toolWindow.errors.ArendMessagesView.updateEditors$lambda$13(ArendMessagesView.kt:200)
	at com.intellij.openapi.application.impl.RwLockHolder$executeOnPooledThread$1.run(RwLockHolder.kt:154)
	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:539)
	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1136)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:635)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:702)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:699)
	at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1.run(Executors.java:699)
	at java.base/java.lang.Thread.run(Thread.java:840)