return (FileName[]) fileNames.values().toArray(new FileName[fileNames.size()]);
return (FileName[]) fileNames.toArray(new FileName[fileNames.size()]);
        public FileName[] getFileNames(){            return (FileName[]) fileNames.values().toArray(new FileName[fileNames.size()]);        }