modified:   05/CCMiniJava2/TypeCheckerTest.java
	modified:   project/MiniJava_1/src/ch/unibe/iam/scg/minijava/typechecker/TypeCheckerTest.java