Removed unused field
Temporary fix for concurrent modification exception when highlighting keywords in the VDM editor.
close #284
fixes #265 the error were in the quote highlight rule that ate the chars regardless of the present of a start quote char '<'
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
this comments out a line from the cyberrail test which has type errors see bug #301
this resolves #300
removed commented code
Merge branch 'origin/ncb/development'

Conflicts:
	ide/ui/src/main/java/org/overture/ide/ui/editor/syntax/VdmCodeScanner.java
Fixes for pog-string-based test
Updated pog-string-based test results
Merge branch 'origin/ncb/development'
Correction to null pointer in PogParamExpVisitor, fixes #303