public String versionCompact(){
  return properties.getProperty("version.compact");
}

public String versionCompact ( ) { return properties . getProperty ( "version.compact" ) ; }
returns the compact version string for this product , suitable for use in path names and similar cases .
