fixed naming
cleanup
clean up - warnings
Added support for project specific properties overriding global workbench preferences.
Main pog no longer visiting VarSet expressions.
updated test to support new test framework

sync

overturetool/overture@29734ec772cb7c40fb58a39096572ffef8f33426
Update pom.xmls to use new AU buildserver
Fixed in the UI of the model checker.
Merge remote-tracking branch 'origin/development' into akm
added extends keyword to ide
fixed property if for classes test
added missing name to chansetdefinition in variablenamecollector
code format
enabled the type checker to check classes which uses inheritance
Merge branch 'origin/akm'
Merge branch 'origin/test'
Merge commit '16cc2ce48372fa02c54e6b462320fb1b3d6dc7f3' into development
Merge commit '48f031cdfa70bc7e75466afa934376da2ead6ea7' into development
Merge commit '3023d489e3ea582dde4566e4ebfd695df3f816bc' into development
Merge remote-tracking branch 'origin/development' into akm