private List<String> listFiles(String prefix, File[] files) { if (prefix == null) prefix = ""; List<String> result = new ArrayList<>(); for (File file : files) { StringBuilder build = new StringBuilder(); build.append("\u00a72"); ClipboardFormat format = ClipboardFormats.findByFile(file); boolean inRoot = file.getParentFile().getName().equals(prefix); build.append(inRoot ? file.getName() : file.getPath().split(Pattern.quote(prefix + File.separator))[1]) .append(": ").append(format == null ? "Unknown" : format.getName()); result.add(build.toString()); } return result; } }
ClipboardFormat format = ClipboardFormats.findByFile(f); if (format == null) { format = ClipboardFormats.findByAlias(formatName);