#7 GEMS Editor crashes after adding markers to model resource f

[ben]

If we add marker(s) to the file holding the model (for instance for report a problem in the Problems View of Eclipse), the editor become unusable or crashes.

We need to reload the model (by closing and reopening the model file resource) to get it work again.