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

public team class T1
	when (isReallyActive()) {
	protected class R playedBy Bar {
		int rm(String arg) <- after String bm() with {
			arg <- result + base.getName()
		}
	}
}