testplugins/org.eclipse.objectteams.otdt.tests/workspace/Formatter/test002/T1_in.java

public team class T1 {
	protected class R 
		playedBy Bar
		base when (hasRole(base, R.class))
	{
	}
}