testplugins/org.eclipse.objectteams.otdt.ui.tests.refactoring/testdata/RenameVirtualMethodInClass/testUpdateReferenceToOverridingRoleMethodInCallinBindingOfImplicitSubrole/in/T1.java

package p;
//renaming B.m to k
public team class T1
{
    public class R extends S playedBy B
    {
        public void m(){}
    }
}