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