Removed unused field
Temporary fix for concurrent modification exception when highlighting keywords in the VDM editor.
close #284
Merge remote-tracking branch 'origin/pvj/main' into ncb/development