testplugins/org.eclipse.objectteams.otdt.tests/workspace/InternalDefinedRole/boundtorole/boundtorole/teampkg/Team_4.java

package boundtorole.teampkg;

import boundtorole.basepkg.TeamB;

public team class Team_4 {
	final TeamB teamB= new TeamB();
	protected class SampleRole playedBy LowerRole<@teamB> {
		boolean isEqual(LowerRole<@teamB> other) -> boolean isEqual(LowerRole<@teamB> other);
	}
}