testplugins/org.eclipse.objectteams.otdt.tests/workspace/Hierarchy/analysis/rolehierarchy3/T1.java

package rolehierarchy3;

public team class T1 {

    public class R1 extends C1
    {
    	public void m3() {}
    } 
}