JavaTXCompilerInJavaTX/app/resources/AllgemeinTest/OverrideMainRet.jav

import java.util.Vector;
import java.util.Stack;

class OverrideMainRet {
    ovrMain() {
	var overide;
	var x;
	overide.ovr(x);
	return x;
    }
}