VirtualFile[] (PsiFile[] psiFiles) { final VirtualFile[] files = new VirtualFile[psiFiles.length]; for (int idx = 0; idx < psiFiles.length; idx++) { files[idx] = psiFiles[idx].getVirtualFile(); } return files; }