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

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