public static String getFilenameNoExt(File f) {
		String s = f.getName();
		int cp = s.lastIndexOf('.');
		return cp < 0 ? s : s.substring(0, cp);
	}
Returns the 'extension' of a 'filename.extension', or an empty string "" if not
present.
<p> 
<li>"file.ext" returns "ext"
<li>"file" returns ""
@param f
@return
Ghidra/Features/FunctionID/ghidra_scripts/MSLibBatchImportGenerator.java