Program: 15443
Project: 15443
Buggy source:
@Override public View onCreateView(final LayoutInflater inflater,final ViewGroup container,final Bundle savedInstanceState){
  final FrameLayout outer=(FrameLayout)inflater.inflate(R.layout.web_view_fragment);
  webView=(WebViewFixed)outer.findViewById(R.id.web_view_fragment_webviewfixed);
  final FrameLayout loadingViewFrame=(FrameLayout)outer.findViewById(R.id.web_view_fragment_loadingview_frame);
  loadingView=new LoadingView(inflater.getContext());
  loadingViewFrame.addView(loadingView);
  final WebSettings settings=webView.getSettings();
  settings.setBuiltInZoomControls(true);
  settings.setJavaScriptEnabled(true);
  settings.setJavaScriptCanOpenWindowsAutomatically(false);
  settings.setUseWideViewPort(true);
  settings.setLoadWithOverviewMode(true);
  try {
    settings.setDisplayZoomControls(false);
  }
 catch (  NoSuchMethodError e) {
  }
  webView.setWebViewClient(new WebViewClient(){
    @Override public boolean shouldOverrideUrlLoading(    final WebView view,    final String url){
      webView.loadUrl(url);
      return true;
    }
  }
);
  webView.setWebChromeClient(new WebChromeClient(){
    @Override public void onProgressChanged(    WebView view,    int newProgress){
      super.onProgressChanged(view,newProgress);
      loadingView.setProgress(R.string.download_downloading,(float)newProgress / 100.0f);
      loadingView.setVisibility(newProgress == 100 ? View.GONE : View.VISIBLE);
    }
  }
);
  webView.loadUrl(url);
  return outer;
}

Fixed version (ground truth):
@Override public View onCreateView(final LayoutInflater inflater,final ViewGroup container,final Bundle savedInstanceState){
  final FrameLayout outer=(FrameLayout)inflater.inflate(R.layout.web_view_fragment);
  webView=(WebViewFixed)outer.findViewById(R.id.web_view_fragment_webviewfixed);
  final FrameLayout loadingViewFrame=(FrameLayout)outer.findViewById(R.id.web_view_fragment_loadingview_frame);
  loadingView=new LoadingView(inflater.getContext());
  loadingViewFrame.addView(loadingView);
  final WebSettings settings=webView.getSettings();
  settings.setBuiltInZoomControls(true);
  settings.setJavaScriptEnabled(true);
  settings.setJavaScriptCanOpenWindowsAutomatically(false);
  settings.setUseWideViewPort(true);
  settings.setLoadWithOverviewMode(true);
  try {
    settings.setDisplayZoomControls(false);
  }
 catch (  NoSuchMethodError e) {
  }
  webView.setWebViewClient(new WebViewClient(){
    @Override public boolean shouldOverrideUrlLoading(    final WebView view,    final String url){
      webView.loadUrl(url);
      return true;
    }
    @Override public void onPageStarted(    WebView view,    String url,    Bitmap favicon){
      super.onPageStarted(view,url,favicon);
      getSupportActivity().setTitle(url);
    }
  }
);
  webView.setWebChromeClient(new WebChromeClient(){
    @Override public void onProgressChanged(    WebView view,    int newProgress){
      super.onProgressChanged(view,newProgress);
      loadingView.setProgress(R.string.download_downloading,(float)newProgress / 100.0f);
      loadingView.setVisibility(newProgress == 100 ? View.GONE : View.VISIBLE);
    }
  }
);
  webView.loadUrl(url);
  return outer;
}