Program: 143952
Project: 143952
Buggy source:
private void configure(Properties config){
  Enumeration p=config.keys();
  while (p.hasMoreElements()) {
    String key=(String)p.nextElement();
    if (key.startsWith("String_Node_Str")) {
      if (key.equals("String_Node_Str"))       terminal.setForeground(Color.decode(config.getProperty(key)));
 else       if (key.equals("String_Node_Str"))       terminal.setBackground(Color.decode(config.getProperty(key)));
 else       if (key.equals("String_Node_Str"))       System.out.println("String_Node_Str");
 else       if (key.equals("String_Node_Str"))       ;
 else       if (key.equals("String_Node_Str")) {
        boolean raised=false;
        if (config.containsKey("String_Node_Str"))         raised=Boolean.getBoolean("String_Node_Str");
        terminal.setBorder(Integer.parseInt(config.getProperty(key)),raised);
      }
 else       if (key.equals("String_Node_Str")) {
        Scrollbar scrollBar=new Scrollbar();
        tPanel.add("String_Node_Str",scrollBar);
        terminal.setScrollbar(scrollBar);
      }
 else       if (key.equals("String_Node_Str"))       terminal.setTerminalID(config.getProperty(key));
 else       if (key.equals("String_Node_Str"))       terminal.setBufferSize(Integer.parseInt(config.getProperty(key)));
 else       if (key.equals("String_Node_Str"))       System.out.println("String_Node_Str");
 else       if (key.equals("String_Node_Str")) {
        String resize=config.getProperty("String_Node_Str");
        if (resize.equals("String_Node_Str"))         terminal.setResizeStrategy(terminal.RESIZE_FONT);
 else         if (resize.equals("String_Node_Str"))         terminal.setResizeStrategy(terminal.RESIZE_SCREEN);
 else         terminal.setResizeStrategy(terminal.RESIZE_NONE);
      }
 else       if (key.equals("String_Node_Str") || key.equals("String_Node_Str"))       ;
 else       if (key.equals("String_Node_Str")) {
        int style=Font.PLAIN, fsize=12;
        if (config.containsKey("String_Node_Str"))         fsize=Integer.parseInt(config.getProperty("String_Node_Str"));
        String fontStyle=config.getProperty("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(config.getProperty(key),style,fsize));
      }
 else       if (key.equals("String_Node_Str"))       System.out.println("String_Node_Str");
 else       if (key.equals("String_Node_Str"))       terminal.setVMS((Boolean.valueOf(config.getProperty(key))).booleanValue());
 else       if (key.equals("String_Node_Str"))       terminal.setIBMCharset((Boolean.valueOf(config.getProperty(key))).booleanValue());
 else       System.err.println("String_Node_Str" + key + "String_Node_Str");
    }
  }
}

Fixed version (ground truth):
private void configure(Properties config){
  Enumeration p=config.keys();
  while (p.hasMoreElements()) {
    String key=(String)p.nextElement();
    if (key.startsWith("String_Node_Str")) {
      if (key.equals("String_Node_Str"))       terminal.setForeground(Color.decode(config.getProperty(key)));
 else       if (key.equals("String_Node_Str"))       terminal.setBackground(Color.decode(config.getProperty(key)));
 else       if (key.equals("String_Node_Str"))       System.out.println("String_Node_Str");
 else       if (key.equals("String_Node_Str"))       ;
 else       if (key.equals("String_Node_Str")) {
        boolean raised=false;
        if (config.containsKey("String_Node_Str"))         raised=Boolean.valueOf("String_Node_Str").booleanValue();
        terminal.setBorder(Integer.parseInt(config.getProperty(key)),raised);
      }
 else       if (key.equals("String_Node_Str")) {
        String direction=config.getProperty(key);
        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);
      }
 else       if (key.equals("String_Node_Str"))       terminal.setTerminalID(config.getProperty(key));
 else       if (key.equals("String_Node_Str"))       terminal.setBufferSize(Integer.parseInt(config.getProperty(key)));
 else       if (key.equals("String_Node_Str"))       System.out.println("String_Node_Str");
 else       if (key.equals("String_Node_Str")) {
        String resize=config.getProperty("String_Node_Str");
        if (resize.equals("String_Node_Str"))         terminal.setResizeStrategy(terminal.RESIZE_FONT);
 else         if (resize.equals("String_Node_Str"))         terminal.setResizeStrategy(terminal.RESIZE_SCREEN);
 else         terminal.setResizeStrategy(terminal.RESIZE_NONE);
      }
 else       if (key.equals("String_Node_Str") || key.equals("String_Node_Str"))       ;
 else       if (key.equals("String_Node_Str")) {
        int style=Font.PLAIN, fsize=12;
        if (config.containsKey("String_Node_Str"))         fsize=Integer.parseInt(config.getProperty("String_Node_Str"));
        String fontStyle=config.getProperty("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(config.getProperty(key),style,fsize));
      }
 else       if (key.equals("String_Node_Str"))       System.out.println("String_Node_Str");
 else       if (key.equals("String_Node_Str"))       terminal.setVMS((Boolean.valueOf(config.getProperty(key))).booleanValue());
 else       if (key.equals("String_Node_Str"))       terminal.setIBMCharset((Boolean.valueOf(config.getProperty(key))).booleanValue());
 else       System.err.println("String_Node_Str" + key + "String_Node_Str");
    }
  }
}