JavaTXCompilerInJavaTX/resources/bytecode/javFiles/SubMatrix.jav

import java.util.Vector;
import java.lang.Integer;

public class Matrix2 extends Vector<Integer> {
	
}

public class SubMatrix extends Matrix2 {
	m(){
		Vector<Integer> v = new Vector<Integer>();
		v.add(1);
	}
}