testplugins/org.eclipse.objectteams.otdt.tests/workspace/ExternalDefinedRole/unbound/unbound/teampkg/Team_4a.java

package unbound.teampkg;

/**
 * $Id: Team_4a.java 5955 2005-06-21 16:04:55Z haebor $
 * 
 * testcase:
 * an external defined role class with an innerclass
 * the innerclass is an ordinary class
 */
public team class Team_4a
{
}