Artifacts of org.overture.ide.parsers.vdmj #199