Merge branch 'master' into cancelling

Conflicts:
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/EchoRunner.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/consistency/qvt/QVTCondition.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/transform/alloy/XMI2Alloy.java