Program: 104472
Project: 104472
Buggy source:
/** 
 * Retrieves (from the configuration service) preferences specified for various formats and assigns default ones to those that haven't been mentioned.
 */
private void initializeFormatPreferences(){
  setEncodingPreference(SdpConstants.H263,1000);
  setEncodingPreference(SdpConstants.JPEG,950);
  setEncodingPreference(SdpConstants.H261,800);
  setEncodingPreference(SdpConstants.GSM,500);
  setEncodingPreference(SdpConstants.PCMU,450);
  setEncodingPreference(SdpConstants.DVI4_8000,400);
  setEncodingPreference(SdpConstants.DVI4_16000,350);
  setEncodingPreference(SdpConstants.PCMA,300);
  setEncodingPreference(SdpConstants.G723,250);
  setEncodingPreference(SdpConstants.G728,200);
  ConfigurationService confService=MediaActivator.getConfigurationService();
  List sdpPreferences=confService.getPropertyNamesByPrefix(PROP_SDP_PREFERENCE,false);
  Iterator sdpPreferencesIter=sdpPreferences.iterator();
  while (sdpPreferencesIter.hasNext()) {
    String pName=(String)sdpPreferencesIter.next();
    String prefStr=confService.getString(pName);
    String fmtName=pName.substring(pName.lastIndexOf('.'));
    int preference=-1;
    int fmt=-1;
    try {
      preference=Integer.parseInt(prefStr);
      fmt=Integer.parseInt(fmtName);
    }
 catch (    NumberFormatException exc) {
      logger.warn("String_Node_Str" + fmtName + "String_Node_Str"+ prefStr+ "String_Node_Str",exc);
      continue;
    }
    setEncodingPreference(fmt,preference);
    sortEncodingsArray(this.supportedAudioEncodings);
    sortEncodingsArray(this.supportedVideoEncodings);
  }
}

Fixed version (ground truth):
/** 
 * Retrieves (from the configuration service) preferences specified for various formats and assigns default ones to those that haven't been mentioned.
 */
private void initializeFormatPreferences(){
  setEncodingPreference(SdpConstants.H263,1000);
  setEncodingPreference(SdpConstants.JPEG,950);
  setEncodingPreference(SdpConstants.H261,800);
  setEncodingPreference(97,500);
  setEncodingPreference(SdpConstants.GSM,450);
  setEncodingPreference(SdpConstants.PCMU,400);
  setEncodingPreference(110,350);
  setEncodingPreference(SdpConstants.DVI4_8000,300);
  setEncodingPreference(SdpConstants.DVI4_16000,250);
  setEncodingPreference(SdpConstants.PCMA,200);
  setEncodingPreference(SdpConstants.G723,150);
  setEncodingPreference(SdpConstants.G728,100);
  ConfigurationService confService=MediaActivator.getConfigurationService();
  List sdpPreferences=confService.getPropertyNamesByPrefix(PROP_SDP_PREFERENCE,false);
  Iterator sdpPreferencesIter=sdpPreferences.iterator();
  while (sdpPreferencesIter.hasNext()) {
    String pName=(String)sdpPreferencesIter.next();
    String prefStr=confService.getString(pName);
    String fmtName=pName.substring(pName.lastIndexOf('.'));
    int preference=-1;
    int fmt=-1;
    try {
      preference=Integer.parseInt(prefStr);
      fmt=Integer.parseInt(fmtName);
    }
 catch (    NumberFormatException exc) {
      logger.warn("String_Node_Str" + fmtName + "String_Node_Str"+ prefStr+ "String_Node_Str",exc);
      continue;
    }
    setEncodingPreference(fmt,preference);
    sortEncodingsArray(this.supportedAudioEncodings);
    sortEncodingsArray(this.supportedVideoEncodings);
  }
}