Prevent NPE from the title builder job if run during/after disposal82/183082/3
commita8ce42be598ac6b8cc4c4e4d20411c680cbd025a
authorlgoubet <laurent.goubet@obeo.fr>
Wed, 28 Apr 2021 07:57:14 +0000 (28 09:57 +0200)
committerlgoubet <laurent.goubet@obeo.fr>
Fri, 16 Jul 2021 12:21:06 +0000 (16 14:21 +0200)
tree8a0a8f563a0deedf47578ef2d89ec7b3ce0265e2
parent2fec5a7e3f8e5474de1a49ccbd32c3ffbdc42421
Prevent NPE from the title builder job if run during/after disposal

Change-Id: Ia059bcfb8ae2d21fd3a096cf0b70226394013788
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/structuremergeviewer/EMFCompareStructureMergeViewer.java