Lines Matching refs:extension
850 // Get the extension of the file, if any.853 String extension = "";856 extension = filename.substring(index);859 file = new File(directory, name + '-' + i + extension);
