org.eclipse.jdt.core.tests.model.CompletionTests9.testBug517417_002 (from org.eclipse.jdt.core.tests.model.AllJavaModelTests)