Program: 184988
Project: 184988
Buggy source:
@Override public void onPageStarted(WebView view,String url,Bitmap favicon){
  resetLockIcon(url);
  setUrlTitle(url,null);
  if (mTouchIconLoader != null) {
    mTouchIconLoader.mActivity=null;
    mTouchIconLoader=null;
  }
  ErrorConsoleView errorConsole=mTabControl.getCurrentErrorConsole(false);
  if (errorConsole != null) {
    errorConsole.clearErrorMessages();
    if (mShouldShowErrorConsole) {
      errorConsole.showConsole(ErrorConsoleView.SHOW_NONE);
    }
  }
  updateIcon(url,favicon);
  if (mSettings.isTracing()) {
    String host;
    try {
      WebAddress uri=new WebAddress(url);
      host=uri.mHost;
    }
 catch (    android.net.ParseException ex) {
      host="String_Node_Str";
    }
    host=host.replace('.','_');
    host+="String_Node_Str";
    mInTrace=true;
    Debug.startMethodTracing(host,20 * 1024 * 1024);
  }
  if (false) {
    mStart=SystemClock.uptimeMillis();
    mProcessStart=Process.getElapsedCpuTime();
    long[] sysCpu=new long[7];
    if (Process.readProcFile("String_Node_Str",SYSTEM_CPU_FORMAT,null,sysCpu,null)) {
      mUserStart=sysCpu[0] + sysCpu[1];
      mSystemStart=sysCpu[2];
      mIdleStart=sysCpu[3];
      mIrqStart=sysCpu[4] + sysCpu[5] + sysCpu[6];
    }
    mUiStart=SystemClock.currentThreadTimeMillis();
  }
  if (!mPageStarted) {
    mPageStarted=true;
    resumeWebViewTimers();
  }
  CookieSyncManager.getInstance().resetSync();
  mInLoad=true;
  mDidStopLoad=false;
  showFakeTitleBar();
  updateInLoadMenuItems();
  if (!mIsNetworkUp) {
    createAndShowNetworkDialog();
    if (view != null) {
      view.setNetworkAvailable(false);
    }
  }
}

Fixed version (ground truth):
@Override public void onPageStarted(WebView view,String url,Bitmap favicon){
  resetLockIcon(url);
  setUrlTitle(url,null);
  mHandler.removeMessages(UPDATE_BOOKMARK_THUMBNAIL);
  if (mTouchIconLoader != null) {
    mTouchIconLoader.mActivity=null;
    mTouchIconLoader=null;
  }
  ErrorConsoleView errorConsole=mTabControl.getCurrentErrorConsole(false);
  if (errorConsole != null) {
    errorConsole.clearErrorMessages();
    if (mShouldShowErrorConsole) {
      errorConsole.showConsole(ErrorConsoleView.SHOW_NONE);
    }
  }
  updateIcon(url,favicon);
  if (mSettings.isTracing()) {
    String host;
    try {
      WebAddress uri=new WebAddress(url);
      host=uri.mHost;
    }
 catch (    android.net.ParseException ex) {
      host="String_Node_Str";
    }
    host=host.replace('.','_');
    host+="String_Node_Str";
    mInTrace=true;
    Debug.startMethodTracing(host,20 * 1024 * 1024);
  }
  if (false) {
    mStart=SystemClock.uptimeMillis();
    mProcessStart=Process.getElapsedCpuTime();
    long[] sysCpu=new long[7];
    if (Process.readProcFile("String_Node_Str",SYSTEM_CPU_FORMAT,null,sysCpu,null)) {
      mUserStart=sysCpu[0] + sysCpu[1];
      mSystemStart=sysCpu[2];
      mIdleStart=sysCpu[3];
      mIrqStart=sysCpu[4] + sysCpu[5] + sysCpu[6];
    }
    mUiStart=SystemClock.currentThreadTimeMillis();
  }
  if (!mPageStarted) {
    mPageStarted=true;
    resumeWebViewTimers();
  }
  CookieSyncManager.getInstance().resetSync();
  mInLoad=true;
  mDidStopLoad=false;
  showFakeTitleBar();
  updateInLoadMenuItems();
  if (!mIsNetworkUp) {
    createAndShowNetworkDialog();
    if (view != null) {
      view.setNetworkAvailable(false);
    }
  }
}