public static String getFileNameFromPathName(String pathNameString) {
		
		File file = new File (pathNameString) ;
		if (file == null) {
			return null ;
		} else {
			return file.getName() ;
		} // end else
		
	} // end method trimOffAnyFileExtension