JavaTXCompilerInJavaTX/examples/pl_usecases/ZweiKlassen.jav

import de.dhbwstuttgart.typeinference.Menge;

class ZweiKlassen {
	
	foo() { 
	   c;
	   c = new Menge<Integer>() ;
	   return c;
	}

}

class X {
	ZweiKlassen bb;
	
	foo2() { return bb.foo();}
}