org.eclipse.jdt.ui.tests.refactoring/resources/ExtractSupertype/testBug573884_2/out/Z.java

package p;
public class Z extends A {
	public final int a;
	public final int b;

	public Z(int a, int a_2, int b) {
		super(a);
		this.a = a_2;
		this.b = b;
	}

	public int geta() {
		return a;
	}

	public int getb() {
		return b;
	}
}