JavaTXCompilerInJavaTX/test/plugindevelopment/MartinTestCases/UsecaseTen_pl.jav

import de.dhbwstuttgart.typeinference.Menge;

class UsecaseTen_pl<A> {

  Menge<Integer> c;
	
	foo1() {
	   a;
	   b;
	   a = b.c.elementAt(1);
	   return b;
	}

}