Program: 143933
Project: 143933
Buggy source:
private void configure(PluginConfig cfg){
  String tmp;
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setForeground(Color.decode(tmp));
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setBackground(Color.decode(tmp));
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    Properties colorSet=new Properties();
    try {
      colorSet.load(getClass().getResourceAsStream(tmp));
    }
 catch (    Exception e) {
      try {
        colorSet.load(new URL(tmp).openStream());
      }
 catch (      Exception ue) {
        error("String_Node_Str" + tmp);
        error("String_Node_Str" + e);
        error("String_Node_Str" + ue);
        colorSet=null;
      }
    }
    Hashtable colors=new Hashtable();
    colors.put("String_Node_Str",Color.black);
    colors.put("String_Node_Str",Color.red);
    colors.put("String_Node_Str",Color.green);
    colors.put("String_Node_Str",Color.yellow);
    colors.put("String_Node_Str",Color.blue);
    colors.put("String_Node_Str",Color.magenta);
    colors.put("String_Node_Str",Color.orange);
    colors.put("String_Node_Str",Color.pink);
    colors.put("String_Node_Str",Color.cyan);
    colors.put("String_Node_Str",Color.white);
    colors.put("String_Node_Str",Color.white);
    if (colorSet != null) {
      Color set[]=terminal.getColorSet();
      for (int i=0; i < 8; i++)       if ((tmp=colorSet.getProperty("String_Node_Str" + i)) != null)       if (colors.get(tmp) != null)       set[i]=(Color)colors.get(tmp);
 else       try {
        set[i]=Color.getColor(tmp);
      }
 catch (      Exception e) {
        error("String_Node_Str" + tmp);
      }
      terminal.setColorSet(set);
    }
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    String size=tmp;
    boolean raised=false;
    if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)     raised=Boolean.valueOf(tmp).booleanValue();
    terminal.setBorder(Integer.parseInt(size),raised);
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null && !personalJava) {
    String direction=tmp;
    if (!direction.equals("String_Node_Str")) {
      if (!direction.equals("String_Node_Str") && !direction.equals("String_Node_Str"))       direction="String_Node_Str";
      Scrollbar scrollBar=new Scrollbar();
      tPanel.add(direction,scrollBar);
      terminal.setScrollbar(scrollBar);
    }
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setTerminalID(tmp);
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setBufferSize(Integer.parseInt(tmp));
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   try {
    int idx=tmp.indexOf(',');
    int width=Integer.parseInt(tmp.substring(1,idx).trim());
    int height=Integer.parseInt(tmp.substring(idx + 1,tmp.length() - 1).trim());
    terminal.setScreenSize(width,height);
  }
 catch (  Exception e) {
    error("String_Node_Str" + tmp);
    error("String_Node_Str" + e);
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   if (tmp.equals("String_Node_Str"))   terminal.setResizeStrategy(terminal.RESIZE_FONT);
 else   if (tmp.equals("String_Node_Str"))   terminal.setResizeStrategy(terminal.RESIZE_SCREEN);
 else   terminal.setResizeStrategy(terminal.RESIZE_NONE);
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    String font=tmp;
    int style=Font.PLAIN, fsize=12;
    if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)     fsize=Integer.parseInt(tmp);
    String fontStyle=cfg.getProperty("String_Node_Str",id,"String_Node_Str");
    if (fontStyle == null || fontStyle.equals("String_Node_Str"))     style=Font.PLAIN;
 else     if (fontStyle.equals("String_Node_Str"))     style=Font.BOLD;
 else     if (fontStyle.equals("String_Node_Str"))     style=Font.ITALIC;
 else     if (fontStyle.equals("String_Node_Str"))     style=Font.BOLD | Font.ITALIC;
    terminal.setFont(new Font(font,style,fsize));
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    Properties keyCodes=new Properties();
    try {
      keyCodes.load(getClass().getResourceAsStream(tmp));
    }
 catch (    Exception e) {
      try {
        keyCodes.load(new URL(tmp).openStream());
      }
 catch (      Exception ue) {
        error("String_Node_Str" + tmp);
        error("String_Node_Str" + e);
        error("String_Node_Str" + ue);
        keyCodes=null;
      }
    }
    if (keyCodes != null)     terminal.setKeyCodes(keyCodes);
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setVMS((Boolean.valueOf(tmp)).booleanValue());
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setIBMCharset((Boolean.valueOf(tmp)).booleanValue());
  tPanel.setBackground(terminal.getBackground());
}

Fixed version (ground truth):
private void configure(PluginConfig cfg){
  String tmp;
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setForeground(Color.decode(tmp));
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setBackground(Color.decode(tmp));
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    Properties colorSet=new Properties();
    try {
      colorSet.load(getClass().getResourceAsStream(tmp));
    }
 catch (    Exception e) {
      try {
        colorSet.load(new URL(tmp).openStream());
      }
 catch (      Exception ue) {
        error("String_Node_Str" + tmp);
        error("String_Node_Str" + e);
        error("String_Node_Str" + ue);
        colorSet=null;
      }
    }
    Hashtable colors=new Hashtable();
    colors.put("String_Node_Str",Color.black);
    colors.put("String_Node_Str",Color.red);
    colors.put("String_Node_Str",Color.green);
    colors.put("String_Node_Str",Color.yellow);
    colors.put("String_Node_Str",Color.blue);
    colors.put("String_Node_Str",Color.magenta);
    colors.put("String_Node_Str",Color.orange);
    colors.put("String_Node_Str",Color.pink);
    colors.put("String_Node_Str",Color.cyan);
    colors.put("String_Node_Str",Color.white);
    colors.put("String_Node_Str",Color.white);
    if (colorSet != null) {
      Color set[]=terminal.getColorSet();
      for (int i=0; i < 8; i++)       if ((tmp=colorSet.getProperty("String_Node_Str" + i)) != null)       if (colors.get(tmp) != null)       set[i]=(Color)colors.get(tmp);
 else       try {
        if (Color.getColor(tmp) != null)         set[i]=Color.getColor(tmp);
 else         set[i]=Color.decode(tmp);
      }
 catch (      Exception e) {
        error("String_Node_Str" + tmp);
      }
      terminal.setColorSet(set);
    }
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    String size=tmp;
    boolean raised=false;
    if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)     raised=Boolean.valueOf(tmp).booleanValue();
    terminal.setBorder(Integer.parseInt(size),raised);
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null && !personalJava) {
    String direction=tmp;
    if (!direction.equals("String_Node_Str")) {
      if (!direction.equals("String_Node_Str") && !direction.equals("String_Node_Str"))       direction="String_Node_Str";
      Scrollbar scrollBar=new Scrollbar();
      tPanel.add(direction,scrollBar);
      terminal.setScrollbar(scrollBar);
    }
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setTerminalID(tmp);
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setBufferSize(Integer.parseInt(tmp));
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   try {
    int idx=tmp.indexOf(',');
    int width=Integer.parseInt(tmp.substring(1,idx).trim());
    int height=Integer.parseInt(tmp.substring(idx + 1,tmp.length() - 1).trim());
    terminal.setScreenSize(width,height);
  }
 catch (  Exception e) {
    error("String_Node_Str" + tmp);
    error("String_Node_Str" + e);
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   if (tmp.equals("String_Node_Str"))   terminal.setResizeStrategy(terminal.RESIZE_FONT);
 else   if (tmp.equals("String_Node_Str"))   terminal.setResizeStrategy(terminal.RESIZE_SCREEN);
 else   terminal.setResizeStrategy(terminal.RESIZE_NONE);
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    String font=tmp;
    int style=Font.PLAIN, fsize=12;
    if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)     fsize=Integer.parseInt(tmp);
    String fontStyle=cfg.getProperty("String_Node_Str",id,"String_Node_Str");
    if (fontStyle == null || fontStyle.equals("String_Node_Str"))     style=Font.PLAIN;
 else     if (fontStyle.equals("String_Node_Str"))     style=Font.BOLD;
 else     if (fontStyle.equals("String_Node_Str"))     style=Font.ITALIC;
 else     if (fontStyle.equals("String_Node_Str"))     style=Font.BOLD | Font.ITALIC;
    terminal.setFont(new Font(font,style,fsize));
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null) {
    Properties keyCodes=new Properties();
    try {
      keyCodes.load(getClass().getResourceAsStream(tmp));
    }
 catch (    Exception e) {
      try {
        keyCodes.load(new URL(tmp).openStream());
      }
 catch (      Exception ue) {
        error("String_Node_Str" + tmp);
        error("String_Node_Str" + e);
        error("String_Node_Str" + ue);
        keyCodes=null;
      }
    }
    if (keyCodes != null)     terminal.setKeyCodes(keyCodes);
  }
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setVMS((Boolean.valueOf(tmp)).booleanValue());
  if ((tmp=cfg.getProperty("String_Node_Str",id,"String_Node_Str")) != null)   terminal.setIBMCharset((Boolean.valueOf(tmp)).booleanValue());
  tPanel.setBackground(terminal.getBackground());
}