testplugins/org.eclipse.objectteams.otdt.tests/workspace/Hierarchy/analysis/rolehierarchy2/Team2.java

package rolehierarchy2;

public team class Team2 extends Team1
{
    public class R1 playedBy Base1
    {
        m1 -> b1;
    }
}