Removed unused field
Temporary fix for concurrent modification exception when highlighting keywords in the VDM editor.
close #284