public String patchFixIds(){
  return properties.getProperty("patch.fix.ids");
}

public String patchFixIds ( ) { return properties . getProperty ( "patch.fix.ids" ) ; }
returns the set of bug ids for fixes included in this build of the directory server .
