NPE if a state editor is open whose state automaton is deleted from the model
Title is sufficient…
(from redmine: issue id 3513, created on 2018-09-17, closed on 2018-09-17)
Title is sufficient…
(from redmine: issue id 3513, created on 2018-09-17, closed on 2018-09-17)