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

package rolehierarchy2;

public team class Team1
{
    public abstract class R1 playedBy Base1
    {
        public abstract m1();
        public abstract m2();
        public abstract m3();
    }
    
}