Program: 8068
Project: 8068
Buggy source:
protected void onInit(Holo config,Bundle savedInstanceState){
  if (mWasInited) {
    return;
  }
  mWasInited=true;
  if (config == null) {
    config=createConfig(savedInstanceState);
  }
  if (config == null) {
    config=Holo.defaultConfig();
  }
  if (!config.ignoreApplicationInstanceCheck && !(getApplication() instanceof Application)) {
    throw new IllegalStateException("String_Node_Str" + "String_Node_Str" + "String_Node_Str");
  }
  if (config.addFactoryToInflater) {
    getLayoutInflater().setFactory(this);
  }
  if (this instanceof Activity) {
    Activity activity=(Activity)this;
    if (config.requireRoboguice) {
      activity.requireAddon(Activity.ADDON_ROBOGUICE);
    }
    if (config.requireSlidingMenu) {
      activity.requireAddon(Activity.ADDON_SLIDING_MENU);
    }
    if (config.requireSherlock) {
      activity.requireSherlock();
    }
    final SparseIntArray windowFeatures=config.windowFeatures;
    if (windowFeatures != null) {
      for (int i=0; i < windowFeatures.size(); i++) {
        if (windowFeatures.valueAt(i) > 0) {
          requestWindowFeature((long)windowFeatures.keyAt(i));
        }
      }
    }
    boolean forceThemeApply=isForceThemeApply();
    if (config.forceThemeApply) {
      setForceThemeApply(forceThemeApply=true);
    }
    if (mLastThemeResourceId == 0) {
      forceThemeApply=true;
    }
    ThemeManager.applyTheme(activity,forceThemeApply);
    if (!config.ignoreThemeCheck && ThemeManager.getThemeType(this) == ThemeManager.INVALID) {
      throw new HoloThemeException(activity);
    }
  }
  onPostInit(config,savedInstanceState);
}

Fixed version (ground truth):
protected void onInit(Holo config,Bundle savedInstanceState){
  if (mWasInited) {
    return;
  }
  mWasInited=true;
  if (config == null) {
    config=createConfig(savedInstanceState);
  }
  if (config == null) {
    config=Holo.defaultConfig();
  }
  onPreInit(config,savedInstanceState);
  if (!config.ignoreApplicationInstanceCheck && !(getApplication() instanceof Application)) {
    throw new IllegalStateException("String_Node_Str" + "String_Node_Str" + "String_Node_Str");
  }
  if (config.addFactoryToInflater) {
    getLayoutInflater().setFactory(this);
  }
  if (this instanceof Activity) {
    Activity activity=(Activity)this;
    if (config.requireRoboguice) {
      activity.requireAddon(Activity.ADDON_ROBOGUICE);
    }
    if (config.requireSlidingMenu) {
      activity.requireAddon(Activity.ADDON_SLIDING_MENU);
    }
    if (config.requireSherlock) {
      activity.requireSherlock();
    }
    final SparseIntArray windowFeatures=config.windowFeatures;
    if (windowFeatures != null) {
      for (int i=0; i < windowFeatures.size(); i++) {
        if (windowFeatures.valueAt(i) > 0) {
          requestWindowFeature((long)windowFeatures.keyAt(i));
        }
      }
    }
    boolean forceThemeApply=isForceThemeApply();
    if (config.forceThemeApply) {
      setForceThemeApply(forceThemeApply=true);
    }
    if (mLastThemeResourceId == 0) {
      forceThemeApply=true;
    }
    ThemeManager.applyTheme(activity,forceThemeApply);
    if (!config.ignoreThemeCheck && ThemeManager.getThemeType(this) == ThemeManager.INVALID) {
      throw new HoloThemeException(activity);
    }
  }
  onPostInit(config,savedInstanceState);
}