testplugins/org.eclipse.objectteams.otdt.debug.tests/testprograms/copyinheritancetests/SuperTeam3.java

package copyinheritancetests;

public team class SuperTeam3 {
}