Changes

[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 3.0.1-SNAPSHOT
 (commit: 42ea313)

Adds strict option to the launch configuration

The -strict flag was added to VDMJ to address #736.
 (commit: 915dddc)

Adds use let def strict option to the project properties

The -strict flag was added to VDMJ to address #736.

VDM projects can now use default or strict let def type checking.
This commit adds that option to the Typecheck group in the VDM Settings.

This commit reverts the changes made in 915ddc that used a launch
configuration settings approach.
 (commit: bca2a6a)

Resumes a single thread only

When we call resume on a thread, it is better to resume that single
thread instead of calling resume on the manager, that iterates over all
available threads calling resume.
 (commit: 79517f0)

Updates the view when a thread is waiting

In case the main thread is blocked in a permission predicate, the
blocked file is not shown to the user. This fix provides the view update
and thus the blocked file is bring to front.
 (commit: 89d3ef8)

Adds a check to avoid managing the console of external tools. Fixes #763
 (commit: ab7de77)

[maven-release-plugin] prepare release Release/3.0.2

Bump ide/ to version 3.0.2
 (commit: cafcbab)