[Jenkins]Jenkins

FailedChanges

Summary

  1. Adds outlines of VDM-SL AModuleModules AST nodes (details)
Commit 94fc7cb96c94ae22f622e4ead58cc4dced79f641 by idhugo
Adds outlines of VDM-SL AModuleModules AST nodes

As per 4f28f932a8da298aba5c013635c665751035e576 a bad offset index
exception occurs for AST nodes that were not added to AstLocationSearcher. This
commit adds a kind of node that was missing, and that @nickbattle found while
testing the Eclipse 4.7 to 4.14 upgrade.
The file was modifiedide/ui/src/main/java/org/overture/ide/ui/utility/ast/AstLocationSearcher.java (diff)