void () { setupPaths(); final PsiClass classA = getJavaFacade().findClass("test.A"); final PsiElement navigationElement = classA.getNavigationElement(); assertNotNull(navigationElement); assertTrue(navigationElement != classA); assertEquals("A.java", navigationElement.getContainingFile().getVirtualFile().getName()); }