testplugins/org.eclipse.objectteams.otdt.tests/workspace/Formatter/test002/T1_out.java - objectteams/org.eclipse.objectteams - Git at Google

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