Fix for DIRSTUDIO-893 (ConcurrentModificationException thrown while deleting multiple schema elements).