Updated results for set range
Merge remote-tracking branch 'refs/remotes/origin/astv2-kel' into astv2-pvj
If a new list is associated with a graph field all items in the list would wrongly set the parents to null no matter what. This commit is a fix that checks if the one nulling the parents is part of the child-parent relationship
fixed warning in outline sorter
Fixes for:

1) Plugin tried to load icons from the icons folder in the old version of the showtrace project (which has been deleted)
2) Removed vdm toolbox dependencies which are not needed anymore
Added refresh functionality to allow user to redraw trace visualization based on canvas size
Fixed leading blue line error in the overview view. + Removed unused code.
Improved error messages for event handling in new version of showtrace
Minor cleanup and fix for INIT threads and time travels in CPU tabs
Sorry Joey :)
Blue line (Active/Blocked) is now drawn to the end of the canvas.
[GRAND PACKAGE RENAME] Build from clean!
You'll probably also want to rebuild your Eclipse workspace.

This commit renames almost all uses of org.overturetool to org.overture.

Mostly done automatically with:

find core ide tools -type f -not -path "*target*" -print0 | \
  xargs -0 grep -l org.overturetool > org.overturetool-users.list

cat org.overturetool-users.list | \
  xargs -t -n1 sed -i '' -e 's/org\.overturetool/org.overture/'

then careful editing to back out specific bits of the files in
core/vdmj_compatibility_tests/...

And more than a few directory renames, of course.
Merge remote-tracking branch 'refs/remotes/origin/astv2-pvj' into astv2-pvj
Changed code to force time marker to be be drawn for next event series
Minor cleanup. Removed unused files and moved event related files to seperate folder
Merge remote-tracking branch 'origin/astv2-pvj' into astv2-pvj
[GRAND VERSION RESET] Build from clean!
You'll probably also want to rebuild your Eclipse workspace.

This commit resets the version numbers in pom.xml, feature.xml,
overture.product, and MANIFEST.MF to 2.0.0 in preparation for the
Overture 2 release.  As the org.overturetool to org.overture package
renaming has already happened, this should be reasonably clean in terms
of (not breaking) compatibility with previous versions.
The canvas is now resized when backfroundFigures are added
Merge remote-tracking branch 'refs/remotes/origin/astv2-pvj' into astv2-pvj
Remove some obsolete files from ide/build (ide/build is obsolete, but
not all of the information has been migrated out yet).