Make List<String> filenames in FileExists final