Я хочу получить список файлов с определенным расширением в каталоге. В API (Java 6) я вижу метод, File.listFiles(FileFilter)который бы это сделал. Поскольку мне нужно конкретное расширение, я создал файл FileNameExtensionFilter. Однако, когда я использую listFilesэто, я получаю ошибку компиляции ....