public String productShortName(){
  return properties.getProperty("product.name.short");
}

public String productShortName ( ) { return properties . getProperty ( "product.name.short" ) ; }
returns the short product name for the directory server , suitable for use in file names .
