Ticket #6907: patch_6907.diff

home/michael/src/columbusCSV/src/org/openstreetmap/josm/plugins/columbusCSV/ColumbusCSVReader.java

@@ -449 +449 @@
         public File getVoxFilePath(String fileDir, String voxFile) {
                 // The FAT16 file name is interpreted differently from case-sensitive file systems, so we
                 // have to test several variants
-                String[] fileNameVariants = new String[] {voxFile, voxFile.toLowerCase(), voxFile.toUpperCase()};
+                String[] fileNameVariants = new String[] { voxFile + ".wav",
+                                voxFile + ".WAV", voxFile.toLowerCase() + ".wav",
+                                voxFile.toUpperCase() + ".WAV" };
                 
                 for (int i = 0; i < fileNameVariants.length; i++) {
-                        File file = new File(fileDir + File.separator + fileNameVariants[i] + ".wav");
+                        File file = new File(fileDir + File.separator + fileNameVariants[i]);
                         if (file.exists()) {
                                 return file;
                         }