JavaTXCompilerInJavaTX/test/plugindevelopment/MartinTestCases/UsecaseSeven_pl.jav

import de.dhbwstuttgart.typeinference.Menge;

class UsecaseSeven_pl<A> {
	
	foo(bar){
		bar = true;
		return 1;
	}

	foo1(a) {
	   c;
	   c = new Menge<Integer>();
	   b;
	   b = new UsecaseSeven_pl<A>();  
	   return c.addElement(a);
	}

}