org.eclipse.jdt.core.tests.model.RenameTests.testRenamePF (from org.eclipse.jdt.core.tests.model.AllJavaModelTests)