testplugins/org.eclipse.objectteams.otdt.tests/workspace/Formatter/test006/T1_out.java

import java.util.List;
import base base.Bar;
public team class T1 {
	protected class R playedBy Bar {
	}
}