@Override
	public boolean accept(File f, GhidraFileChooserModel model) {
		if (f == null) {
			return false;
		}
		if (model.isDirectory(f)) {
			return true;
		}
		if (extensions.isEmpty()) {
			return true;
		}
		String filename = f.getName().toLowerCase();
		if (filename.startsWith(".")) {
			return false;
		}
		int fnLen = filename.length();
		for (String ext : extensions) {
			int extLen = ext.length();
			int extStart = fnLen - extLen;
			if (extStart > 0 && filename.substring(extStart).equals(ext) &&
				filename.charAt(extStart - 1) == '.') {
				return true;
			}
		}
		return false;
	}
Return true if this file should be shown in the directory pane,
false if it shouldn't.

Files that begin with "." are ignored.

@see FileFilter#accept
Ghidra/Framework/Gui/src/main/java/ghidra/util/filechooser/ExtensionFileFilter.java