Merge with origin/development.
The possibility of expecting warnings has now been added to test cases.

Small change to error format
code format
large TC update. This leaves 7 faild tests in - work in progress, the errors have been there all the time but now we see them

updaed setlocation
updated weeding for operation types
added some hacked implementation to do a little class support, this needs to be re-written
replaced all code that build pre/post functions with calls to overture
added a number of utility visitor extensions needed to use overture stuff
updated AST for implicit operation

- fix in:
-- ast
-- parser
-- type checker

others remaining
More modifications in the model checker visitors.
overture interface changed location and name IStatusListener
update to new overture AST structure
added direct reference to common for pog. It is no longer provided by TC
adapted code to new implicit operation node structure
update for new overture operation structuer
fix so the interpreter can run a test with no result file. It will still complain after the test has been executed
missing serializable on classes the interpreter serializes
added fix for possible wrong access specifier for global types. If an invalid access specifier is parsed a warning is issued and the visibility is corrected = public.
Merge branch 'origin/kel'

Conflicts:
	core/typechecker/src/test/java/eu/compassresearch/core/typechecker/CaseStudiesTestCase.java
	core/typechecker/src/test/snippettests/eu/compassresearch/core/typechecker/CmlTypeCheckerTestCase.java
Updated test cases to deal with warnings now being reported and checked.
removed registry stuff
Merge branch 'origin/clausbn'

Conflicts:
	core/typechecker/src/main/java/eu/compassresearch/core/typechecker/CollectingIssueHandler.java
	core/typechecker/src/main/java/eu/compassresearch/core/typechecker/VanillaCmlTypeChecker.java
	core/typechecker/src/main/java/eu/compassresearch/core/typechecker/api/TypeIssueHandler.java
	core/typechecker/src/main/java/eu/compassresearch/core/typechecker/assistant/CmlImplicitDefinitionFinder.java
	core/typechecker/src/main/java/eu/compassresearch/core/typechecker/weeding/Weeding4FixOperationTypes.java
	core/typechecker/src/test/java/eu/compassresearch/core/typechecker/CaseStudiesTestCase.java
	core/typechecker/src/test/snippettests/eu/compassresearch/core/typechecker/CmlTypeCheckerTestCase.java
	core/typechecker/src/test/snippettests/eu/compassresearch/core/typechecker/FunctionCmlTypeCheckerTestCase.java
fixed imports
commented warning for private access on global types. We need a token in the access specifier to figure out if it was a default one or one from the syntax