public String _propertiesdir(String[]args) {
if ( args.length > 1) {
error("propertiesdir does not take arguments");
return null;
}
File pf = getPropertiesFile();
if ( pf == null)
return "";
return pf.getParentFile().getAbsolutePath();
}