Program: 63544
Project: 63544
Buggy source:
private void setupWebViewDrawer(){
  Display display=getActivity().getWindowManager().getDefaultDisplay();
  Point size=new Point();
  display.getSize(size);
  int width=size.x;
  int height=size.y;
  mLinkLayout.setStashPixel(height);
  mLinkLayout.setRevealPixel(0);
  mLinkLayout.setTranslateDirection(ReboundRevealRelativeLayout.TRANSLATE_DIRECTION_VERTICAL);
  if (!UserPreferenceManager.isExternalBrowserEnabled(getActivity())) {
    mLinkLayout.setOpen(mWasLinkLayoutOpen || (UserPreferenceManager.showLinkFirst(getActivity())));
  }
  final ProgressBar webProgressBar=(ProgressBar)mLinkLayout.findViewById(R.id.web_progress_bar);
  mCloseLink.setOnClickListener(view -> mLinkLayout.setOpen(false));
  mWebView.setVisibility(View.INVISIBLE);
  webProgressBar.setVisibility(View.VISIBLE);
  WebSettings webSettings=mWebView.getSettings();
  webSettings.setLoadWithOverviewMode(true);
  webSettings.setUseWideViewPort(true);
  webSettings.setSupportZoom(true);
  webSettings.setBuiltInZoomControls(true);
  webSettings.setDisplayZoomControls(false);
  webSettings.setJavaScriptEnabled(true);
  mWebView.setWebViewClient(new WebViewClient(){
    @Override public void onPageFinished(    WebView view,    String url){
      super.onPageFinished(view,url);
      mWebView.setVisibility(View.VISIBLE);
      webProgressBar.setVisibility(View.GONE);
    }
  }
);
  mWebView.setWebChromeClient(new WebChromeClient(){
    @Override public void onProgressChanged(    WebView view,    int newProgress){
      super.onProgressChanged(view,newProgress);
      webProgressBar.setMax(100);
      webProgressBar.setProgress(newProgress);
    }
  }
);
  mWebView.setOnScrollChangedCallback(this);
  mWebBack.setOnClickListener(view -> {
    if (mWebView.canGoBack()) {
      mWebView.goBack();
    }
  }
);
  mWebForward.setOnClickListener(view -> {
    if (mWebView.canGoForward()) {
      mWebView.goForward();
    }
  }
);
}

Fixed version (ground truth):
private void setupWebViewDrawer(){
  updateWebViewDrawerPosition();
  mLinkLayout.setTranslateDirection(ReboundRevealRelativeLayout.TRANSLATE_DIRECTION_VERTICAL);
  if (!UserPreferenceManager.isExternalBrowserEnabled(getActivity())) {
    mLinkLayout.setOpen(mWasLinkLayoutOpen || (UserPreferenceManager.showLinkFirst(getActivity())));
  }
  final ProgressBar webProgressBar=(ProgressBar)mLinkLayout.findViewById(R.id.web_progress_bar);
  mCloseLink.setOnClickListener(view -> mLinkLayout.setOpen(false));
  mWebView.setVisibility(View.INVISIBLE);
  webProgressBar.setVisibility(View.VISIBLE);
  WebSettings webSettings=mWebView.getSettings();
  webSettings.setLoadWithOverviewMode(true);
  webSettings.setUseWideViewPort(true);
  webSettings.setSupportZoom(true);
  webSettings.setBuiltInZoomControls(true);
  webSettings.setDisplayZoomControls(false);
  webSettings.setJavaScriptEnabled(true);
  mWebView.setWebViewClient(new WebViewClient(){
    @Override public void onPageFinished(    WebView view,    String url){
      super.onPageFinished(view,url);
      mWebView.setVisibility(View.VISIBLE);
      webProgressBar.setVisibility(View.GONE);
    }
  }
);
  mWebView.setWebChromeClient(new WebChromeClient(){
    @Override public void onProgressChanged(    WebView view,    int newProgress){
      super.onProgressChanged(view,newProgress);
      webProgressBar.setMax(100);
      webProgressBar.setProgress(newProgress);
    }
  }
);
  mWebView.setOnScrollChangedCallback(this);
  mWebBack.setOnClickListener(view -> {
    if (mWebView.canGoBack()) {
      mWebView.goBack();
    }
  }
);
  mWebForward.setOnClickListener(view -> {
    if (mWebView.canGoForward()) {
      mWebView.goForward();
    }
  }
);
}