public String _propertiesname(String[]args) {
	File pf = getPropertiesFile();
	if ( pf == null)
		return "";
	
	return pf.getName();
}