Program: 2959
Project: 2959
Buggy source:
public VolumePanel(final Context context,AudioService volumeService){
  mContext=context;
  mAudioManager=(AudioManager)context.getSystemService(Context.AUDIO_SERVICE);
  mAudioService=volumeService;
  boolean useMasterVolume=context.getResources().getBoolean(com.android.internal.R.bool.config_useMasterVolume);
  if (useMasterVolume) {
    for (int i=0; i < STREAMS.length; i++) {
      StreamResources streamRes=STREAMS[i];
      streamRes.show=(streamRes.streamType == STREAM_MASTER);
    }
  }
  LayoutInflater inflater=(LayoutInflater)context.getSystemService(Context.LAYOUT_INFLATER_SERVICE);
  View view=mView=inflater.inflate(R.layout.volume_adjust,null);
  mView.setOnTouchListener(new View.OnTouchListener(){
    public boolean onTouch(    View v,    MotionEvent event){
      resetTimeout();
      return false;
    }
  }
);
  mPanel=(ViewGroup)mView.findViewById(R.id.visible_panel);
  mSliderGroup=(ViewGroup)mView.findViewById(R.id.slider_group);
  mMoreButton=(ImageView)mView.findViewById(R.id.expand_button);
  mDivider=(ImageView)mView.findViewById(R.id.expand_button_divider);
  mDialog=new Dialog(context,R.style.Theme_Panel_Volume){
    public boolean onTouchEvent(    MotionEvent event){
      if (isShowing() && event.getAction() == MotionEvent.ACTION_OUTSIDE) {
        forceTimeout();
        return true;
      }
      return false;
    }
  }
;
  mDialog.setTitle("String_Node_Str");
  mDialog.setContentView(mView);
  mDialog.setOnDismissListener(new OnDismissListener(){
    public void onDismiss(    DialogInterface dialog){
      mActiveStreamType=-1;
      mAudioManager.forceVolumeControlStream(mActiveStreamType);
    }
  }
);
  Window window=mDialog.getWindow();
  window.setGravity(Gravity.TOP);
  LayoutParams lp=window.getAttributes();
  lp.token=null;
  lp.y=mContext.getResources().getDimensionPixelOffset(com.android.internal.R.dimen.volume_panel_top);
  lp.type=LayoutParams.TYPE_VOLUME_OVERLAY;
  lp.width=LayoutParams.WRAP_CONTENT;
  lp.height=LayoutParams.WRAP_CONTENT;
  window.setAttributes(lp);
  window.addFlags(LayoutParams.FLAG_NOT_FOCUSABLE | LayoutParams.FLAG_NOT_TOUCH_MODAL | LayoutParams.FLAG_WATCH_OUTSIDE_TOUCH);
  mToneGenerators=new ToneGenerator[AudioSystem.getNumStreamTypes()];
  mVibrator=(Vibrator)context.getSystemService(Context.VIBRATOR_SERVICE);
  mVoiceCapable=context.getResources().getBoolean(R.bool.config_voice_capable);
  mShowCombinedVolumes=!mVoiceCapable && !useMasterVolume;
  if (!mShowCombinedVolumes) {
    mMoreButton.setVisibility(View.GONE);
    mDivider.setVisibility(View.GONE);
  }
 else {
    mMoreButton.setOnClickListener(this);
  }
  boolean masterVolumeOnly=context.getResources().getBoolean(com.android.internal.R.bool.config_useMasterVolume);
  boolean masterVolumeKeySounds=mContext.getResources().getBoolean(com.android.internal.R.bool.config_useVolumeKeySounds);
  mPlayMasterStreamTones=masterVolumeOnly && masterVolumeKeySounds;
  listenToRingerMode();
}

Fixed version (ground truth):
public VolumePanel(final Context context,AudioService volumeService){
  mContext=context;
  mAudioManager=(AudioManager)context.getSystemService(Context.AUDIO_SERVICE);
  mAudioService=volumeService;
  boolean useMasterVolume=context.getResources().getBoolean(com.android.internal.R.bool.config_useMasterVolume);
  if (useMasterVolume) {
    for (int i=0; i < STREAMS.length; i++) {
      StreamResources streamRes=STREAMS[i];
      streamRes.show=(streamRes.streamType == STREAM_MASTER);
    }
  }
  LayoutInflater inflater=(LayoutInflater)context.getSystemService(Context.LAYOUT_INFLATER_SERVICE);
  View view=mView=inflater.inflate(R.layout.volume_adjust,null);
  mView.setOnTouchListener(new View.OnTouchListener(){
    public boolean onTouch(    View v,    MotionEvent event){
      resetTimeout();
      return false;
    }
  }
);
  mPanel=(ViewGroup)mView.findViewById(R.id.visible_panel);
  mSliderGroup=(ViewGroup)mView.findViewById(R.id.slider_group);
  mMoreButton=(ImageView)mView.findViewById(R.id.expand_button);
  mDivider=(ImageView)mView.findViewById(R.id.expand_button_divider);
  mDialog=new Dialog(context,R.style.Theme_Panel_Volume){
    public boolean onTouchEvent(    MotionEvent event){
      if (isShowing() && event.getAction() == MotionEvent.ACTION_OUTSIDE) {
        forceTimeout();
        return true;
      }
      return false;
    }
  }
;
  mDialog.setTitle("String_Node_Str");
  mDialog.setContentView(mView);
  mDialog.setOnDismissListener(new OnDismissListener(){
    public void onDismiss(    DialogInterface dialog){
      mActiveStreamType=-1;
      mAudioManager.forceVolumeControlStream(mActiveStreamType);
    }
  }
);
  Window window=mDialog.getWindow();
  window.setGravity(Gravity.TOP);
  LayoutParams lp=window.getAttributes();
  lp.token=null;
  lp.y=mContext.getResources().getDimensionPixelOffset(com.android.internal.R.dimen.volume_panel_top);
  lp.type=LayoutParams.TYPE_VOLUME_OVERLAY;
  lp.width=LayoutParams.WRAP_CONTENT;
  lp.height=LayoutParams.WRAP_CONTENT;
  lp.privateFlags|=LayoutParams.PRIVATE_FLAG_FORCE_SHOW_NAV_BAR;
  window.setAttributes(lp);
  window.addFlags(LayoutParams.FLAG_NOT_FOCUSABLE | LayoutParams.FLAG_NOT_TOUCH_MODAL | LayoutParams.FLAG_WATCH_OUTSIDE_TOUCH);
  mToneGenerators=new ToneGenerator[AudioSystem.getNumStreamTypes()];
  mVibrator=(Vibrator)context.getSystemService(Context.VIBRATOR_SERVICE);
  mVoiceCapable=context.getResources().getBoolean(R.bool.config_voice_capable);
  mShowCombinedVolumes=!mVoiceCapable && !useMasterVolume;
  if (!mShowCombinedVolumes) {
    mMoreButton.setVisibility(View.GONE);
    mDivider.setVisibility(View.GONE);
  }
 else {
    mMoreButton.setOnClickListener(this);
  }
  boolean masterVolumeOnly=context.getResources().getBoolean(com.android.internal.R.bool.config_useMasterVolume);
  boolean masterVolumeKeySounds=mContext.getResources().getBoolean(com.android.internal.R.bool.config_useVolumeKeySounds);
  mPlayMasterStreamTones=masterVolumeOnly && masterVolumeKeySounds;
  listenToRingerMode();
}