![[Jenkins]](/ci/static/5d841056/images/svgs/logo.svg){kind=logo}
Summary
- prevent concurrent modification excpetion (details)
| The file was modified | info.textgrid.lab.core.application/src/info/textgrid/lab/core/application/LabWorkbenchWindowAdvisor.java (diff) |
| The file was modified | info.textgrid.lab.core.application/src/info/textgrid/lab/core/application/LabWorkbenchWindowAdvisor.java (diff) |