public void setFiles(String[] fileNames) {
int size = Arrays.asList(fileNames).size();
Vector iFileNames = new Vector();
for (int i = 0; i < size; i++) {
IResource resource = workspaceRoot.findMember(fileNames[i]);
if (resource instanceof IFile) iFileNames.addElement(resource);
}
IFile[] dummyArray = new IFile[iFileNames.size()];
this.fileNames = (IFile[]) (iFileNames.toArray(dummyArray));
}
