testplugins/org.eclipse.objectteams.otdt.tests/workspace/Hierarchy/analysis/teamhierarchy/Team6.java

import java.util.*;
public team class Team6 extends WeakHashMap<String,Integer> {
	protected class R {}
}