Program: 10092
Project: 10092
Buggy source:
/** 
 * Setup builder configuration
 * @throws MojoExecutionException
 */
protected void configure() throws MojoExecutionException {
  configuration.setExternalLibraryPath(getDependenciesPath("String_Node_Str"));
  configuration.includeLibraries(getDependenciesPath("String_Node_Str"));
  configuration.setLibraryPath(getDependenciesPath("String_Node_Str"));
  configuration.addLibraryPath(getDependenciesPath("String_Node_Str"));
  if (mergeResourceBundle == null || mergeResourceBundle) {
    configuration.addLibraryPath(getResourcesBundles());
  }
  resolveRuntimeLibraries("String_Node_Str","String_Node_Str");
  resolveRuntimeLibraries("String_Node_Str","String_Node_Str");
  configuration.setTheme(getDependenciesPath("String_Node_Str"));
  configuration.enableAccessibility(accessible);
  configuration.allowSourcePathOverlap(allowSourcePathOverlap);
  configuration.useActionScript3(as3);
  configuration.enableDebugging(debug,debugPassword);
  configuration.useECMAScript(es);
  if (fonts != null) {
    configuration.enableAdvancedAntiAliasing(fonts.isAdvancedAntiAliasing());
    configuration.enableFlashType(fonts.isFlashType());
    configuration.setFontManagers(fonts.getManagers());
    configuration.setMaximumCachedFonts(fonts.getMaxCachedFonts());
    configuration.setMaximumGlyphsPerFace(fonts.getMaxGlyphsPerFace());
    if (fonts.getLanguages() != null && !fonts.getLanguages().isEmpty()) {
      for (      String language : fonts.getLanguages().keySet()) {
        configuration.setFontLanguageRange(language,fonts.getLanguages().get(language));
      }
    }
  }
  File fontsSnapshot=getFontsSnapshot();
  if (fontsSnapshot == null || !fontsSnapshot.exists()) {
    throw new MojoExecutionException("String_Node_Str" + fontsSnapshot);
  }
  configuration.setLocalFontSnapshot(fontsSnapshot);
  configuration.setActionScriptMetadata(keepAs3Metadatas);
  configuration.keepCompilerGeneratedActionScript(keepGeneratedActionscript);
  if (licenses != null) {
    for (    String licenseName : licenses.keySet()) {
      String key=licenses.get(licenseName);
      configuration.setLicense(licenseName,key);
    }
  }
  if (defines != null) {
    for (    String defineName : defines.keySet()) {
      String value=defines.get(defineName);
      getLog().info("String_Node_Str" + defineName + "String_Node_Str"+ value);
      configuration.addDefineDirective(defineName,value);
    }
  }
  if (mergeResourceBundle == null || mergeResourceBundle) {
    configuration.setLocale(locales);
  }
 else {
    configuration.setLocale(new String[0]);
  }
  if (namespaces != null) {
    for (    Namespace namespace : namespaces) {
      configuration.setComponentManifest(namespace.getUri(),namespace.getManifest());
    }
  }
  configuration.optimize(optimize);
  if (this.warnigs != null) {
    configureWarnings(configuration);
  }
  configuration.setSourcePath(sourcePaths);
  configuration.enableStrictChecking(strict);
  configuration.useNetwork(useNetwork);
  configuration.enableVerboseStacktraces(verboseStacktraces);
  if (contextRoot != null) {
    configuration.setContextRoot(contextRoot);
  }
  configuration.keepLinkReport(linkReport);
  configuration.keepConfigurationReport(configurationReport);
  configuration.setConfiguration(configFile);
  configuration.setServiceConfiguration(services);
  if (loadExterns != null) {
    List<File> externsFiles=new ArrayList<File>();
    for (    MavenArtifact mvnArtifact : loadExterns) {
      Artifact artifact=artifactFactory.createArtifactWithClassifier(mvnArtifact.getGroupId(),mvnArtifact.getArtifactId(),mvnArtifact.getVersion(),"String_Node_Str","String_Node_Str");
      resolveArtifact(artifact,resolver,localRepository,remoteRepositories);
      externsFiles.add(artifact.getFile());
    }
    configuration.setExterns(externsFiles.toArray(new File[externsFiles.size()]));
  }
  if (rawMetadata != null) {
    configuration.setSWFMetaData(rawMetadata);
  }
  if (metadata != null) {
    if (metadata.getContributors() != null) {
      for (      String contributor : metadata.getContributors()) {
        configuration.setSWFMetaData(Configuration.CONTRIBUTOR,contributor);
      }
    }
    if (metadata.getCreators() != null) {
      for (      String creator : metadata.getCreators()) {
        configuration.setSWFMetaData(Configuration.CREATOR,creator);
      }
    }
    if (metadata.getDate() != null) {
      configuration.setSWFMetaData(Configuration.DATE,metadata.getDate());
    }
    if (metadata.getDescription() != null) {
      configuration.setSWFMetaData(Configuration.DESCRIPTION,metadata.getDescription());
    }
    if (metadata.getLanguages() != null) {
      configuration.setSWFMetaData(Configuration.LANGUAGE,metadata.getLanguages());
    }
  }
  if (compatibilityVersion != null) {
    if (!COMPATIBILITY_2_0_0.equals(compatibilityVersion) && !COMPATIBILITY_2_0_1.equals(compatibilityVersion)) {
      throw new MojoExecutionException("String_Node_Str" + compatibilityVersion);
    }
 else     if (COMPATIBILITY_2_0_0.equals(compatibilityVersion)) {
      configuration.setCompatibilityVersion(2,0,0);
    }
 else     if (COMPATIBILITY_2_0_1.equals(compatibilityVersion)) {
      configuration.setCompatibilityVersion(2,0,1);
    }
 else {
      throw new IllegalStateException("String_Node_Str");
    }
  }
  configuration.setActionScriptFileEncoding(encoding);
  if (targetPlayer != null) {
    String[] nodes=targetPlayer.split("String_Node_Str");
    if (nodes.length != 3) {
      throw new MojoExecutionException("String_Node_Str" + targetPlayer);
    }
    int[] versions=new int[nodes.length];
    for (int i=0; i < nodes.length; i++) {
      try {
        versions[i]=Integer.parseInt(nodes[i]);
      }
 catch (      NumberFormatException e) {
        throw new MojoExecutionException("String_Node_Str" + targetPlayer);
      }
    }
    if (versions[0] < 9) {
      throw new MojoExecutionException("String_Node_Str" + targetPlayer);
    }
    configuration.setTargetPlayer(versions[0],versions[1],versions[2]);
  }
  if (defaultsCss != null)   configuration.setDefaultCSS(defaultsCss);
  configuration.setDefaultBackgroundColor(Integer.parseInt(defaultBackgroundColor,16));
  configuration.setDefaultFrameRate(defaultFrameRate);
  configuration.setDefaultScriptLimits(scriptMaxRecursionDepth,scriptMaxExecutionTime);
  configuration.setDefaultSize(defaultSizeWidth,defaultSizeHeight);
  if (externs != null && externs.length > 0) {
    configuration.setExterns(externs);
  }
  if (frames != null && frames.length > 0) {
    for (    FrameLabel frame : frames) {
      configuration.setFrameLabel(frame.getLabel(),frame.getClassNames());
    }
  }
  if (includes != null && includes.length > 0) {
    configuration.setIncludes(includes);
  }
  configuration.useHeadlessServer(headlessServer);
  configuration.keepAllTypeSelectors(keepAllTypeSelectors);
  configuration.useResourceBundleMetaData(useResourceBundleMetadata);
  configuration.enableDigestVerification(verifyDigests);
}

Fixed version (ground truth):
/** 
 * Setup builder configuration
 * @throws MojoExecutionException
 */
protected void configure() throws MojoExecutionException {
  configuration.setExternalLibraryPath(getDependenciesPath("String_Node_Str"));
  configuration.includeLibraries(getDependenciesPath("String_Node_Str"));
  configuration.setLibraryPath(getDependenciesPath("String_Node_Str"));
  configuration.addLibraryPath(getDependenciesPath("String_Node_Str"));
  if (mergeResourceBundle == null || mergeResourceBundle) {
    configuration.addLibraryPath(getResourcesBundles());
  }
  resolveRuntimeLibraries("String_Node_Str","String_Node_Str");
  resolveRuntimeLibraries("String_Node_Str","String_Node_Str");
  configuration.setTheme(getDependenciesPath("String_Node_Str"));
  configuration.enableAccessibility(accessible);
  configuration.allowSourcePathOverlap(allowSourcePathOverlap);
  configuration.useActionScript3(as3);
  configuration.enableDebugging(debug,debugPassword);
  configuration.useECMAScript(es);
  if (fonts != null) {
    configuration.enableAdvancedAntiAliasing(fonts.isAdvancedAntiAliasing());
    configuration.enableFlashType(fonts.isFlashType());
    configuration.setFontManagers(fonts.getManagers());
    configuration.setMaximumCachedFonts(fonts.getMaxCachedFonts());
    configuration.setMaximumGlyphsPerFace(fonts.getMaxGlyphsPerFace());
    if (fonts.getLanguages() != null && !fonts.getLanguages().isEmpty()) {
      for (      String language : fonts.getLanguages().keySet()) {
        configuration.setFontLanguageRange(language,fonts.getLanguages().get(language));
      }
    }
  }
  File fontsSnapshot=getFontsSnapshot();
  if (fontsSnapshot == null || !fontsSnapshot.exists()) {
    throw new MojoExecutionException("String_Node_Str" + fontsSnapshot);
  }
  configuration.setLocalFontSnapshot(fontsSnapshot);
  configuration.setActionScriptMetadata(keepAs3Metadatas);
  configuration.keepCompilerGeneratedActionScript(keepGeneratedActionscript);
  if (licenses != null) {
    for (    String licenseName : licenses.keySet()) {
      String key=licenses.get(licenseName);
      configuration.setLicense(licenseName,key);
    }
  }
  if (defines != null) {
    for (    String defineName : defines.keySet()) {
      String value=defines.get(defineName);
      getLog().info("String_Node_Str" + defineName + "String_Node_Str"+ value);
      configuration.addDefineDirective(defineName,value);
    }
  }
  if (mergeResourceBundle == null || mergeResourceBundle) {
    configuration.setLocale(locales);
  }
 else {
    configuration.setLocale(new String[0]);
  }
  if (namespaces != null) {
    for (    Namespace namespace : namespaces) {
      configuration.setComponentManifest(namespace.getUri(),namespace.getManifest());
    }
  }
  configuration.optimize(optimize);
  if (this.warnigs != null) {
    configureWarnings(configuration);
  }
  configuration.setSourcePath(sourcePaths);
  configuration.enableStrictChecking(strict);
  configuration.useNetwork(useNetwork);
  configuration.enableVerboseStacktraces(verboseStacktraces);
  if (contextRoot != null) {
    configuration.setContextRoot(contextRoot);
  }
  configuration.keepLinkReport(linkReport);
  configuration.keepConfigurationReport(configurationReport);
  configuration.setConfiguration(configFile);
  configuration.setServiceConfiguration(services);
  if (loadExterns != null) {
    List<File> externsFiles=new ArrayList<File>();
    for (    MavenArtifact mvnArtifact : loadExterns) {
      Artifact artifact=artifactFactory.createArtifactWithClassifier(mvnArtifact.getGroupId(),mvnArtifact.getArtifactId(),mvnArtifact.getVersion(),"String_Node_Str","String_Node_Str");
      resolveArtifact(artifact,resolver,localRepository,remoteRepositories);
      externsFiles.add(artifact.getFile());
    }
    configuration.setExterns(externsFiles.toArray(new File[externsFiles.size()]));
  }
  if (rawMetadata != null) {
    configuration.setSWFMetaData(rawMetadata);
  }
  if (metadata != null) {
    if (metadata.getContributor() != null) {
      configuration.setSWFMetaData(Configuration.CONTRIBUTOR,metadata.getContributor());
    }
    if (metadata.getCreator() != null) {
      configuration.setSWFMetaData(Configuration.CREATOR,metadata.getCreator());
    }
    if (metadata.getDate() != null) {
      configuration.setSWFMetaData(Configuration.DATE,metadata.getDate());
    }
    if (metadata.getDescriptions() != null) {
      configuration.setSWFMetaData(Configuration.DESCRIPTION,metadata.getDescriptions());
    }
    if (metadata.getTitles() != null) {
      configuration.setSWFMetaData(Configuration.TITLE,metadata.getTitles());
    }
    if (metadata.getLanguage() != null) {
      configuration.setSWFMetaData(Configuration.LANGUAGE,metadata.getLanguage());
    }
  }
  if (compatibilityVersion != null) {
    if (!COMPATIBILITY_2_0_0.equals(compatibilityVersion) && !COMPATIBILITY_2_0_1.equals(compatibilityVersion)) {
      throw new MojoExecutionException("String_Node_Str" + compatibilityVersion);
    }
 else     if (COMPATIBILITY_2_0_0.equals(compatibilityVersion)) {
      configuration.setCompatibilityVersion(2,0,0);
    }
 else     if (COMPATIBILITY_2_0_1.equals(compatibilityVersion)) {
      configuration.setCompatibilityVersion(2,0,1);
    }
 else {
      throw new IllegalStateException("String_Node_Str");
    }
  }
  configuration.setActionScriptFileEncoding(encoding);
  if (targetPlayer != null) {
    String[] nodes=targetPlayer.split("String_Node_Str");
    if (nodes.length != 3) {
      throw new MojoExecutionException("String_Node_Str" + targetPlayer);
    }
    int[] versions=new int[nodes.length];
    for (int i=0; i < nodes.length; i++) {
      try {
        versions[i]=Integer.parseInt(nodes[i]);
      }
 catch (      NumberFormatException e) {
        throw new MojoExecutionException("String_Node_Str" + targetPlayer);
      }
    }
    if (versions[0] < 9) {
      throw new MojoExecutionException("String_Node_Str" + targetPlayer);
    }
    configuration.setTargetPlayer(versions[0],versions[1],versions[2]);
  }
  if (defaultsCss != null)   configuration.setDefaultCSS(defaultsCss);
  configuration.setDefaultBackgroundColor(Integer.parseInt(defaultBackgroundColor,16));
  configuration.setDefaultFrameRate(defaultFrameRate);
  configuration.setDefaultScriptLimits(scriptMaxRecursionDepth,scriptMaxExecutionTime);
  configuration.setDefaultSize(defaultSizeWidth,defaultSizeHeight);
  if (externs != null && externs.length > 0) {
    configuration.setExterns(externs);
  }
  if (frames != null && frames.length > 0) {
    for (    FrameLabel frame : frames) {
      configuration.setFrameLabel(frame.getLabel(),frame.getClassNames());
    }
  }
  if (includes != null && includes.length > 0) {
    configuration.setIncludes(includes);
  }
  configuration.useHeadlessServer(headlessServer);
  configuration.keepAllTypeSelectors(keepAllTypeSelectors);
  configuration.useResourceBundleMetaData(useResourceBundleMetadata);
  configuration.enableDigestVerification(verifyDigests);
}