JavaTXCompilerInJavaTX/examples/pl_usecases/UnifyTest1.jav

import de.dhbwstuttgart.typeinference.Menge;
import java.util.Stack;


class Test {
        public getValue(a){
                String x;
                a.addElement(x);
        }

}