Program: 133557
Project: 133557
Buggy source:
/** 
 * The default constructor.
 */
public VisItConnection(){
  propertyHandlers.remove("String_Node_Str");
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public String validateValue(    String value){
      String newValue=null;
      if (value != null) {
        newValue=value.trim();
      }
      return newValue;
    }
  }
);
  propertyHandlers.put("String_Node_Str",propertyHandlers.get("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public String validateValue(    String value){
      String newValue=null;
      if (value != null) {
        newValue=value.trim();
      }
      return newValue;
    }
  }
);
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public String validateValue(    String value){
      return "String_Node_Str";
    }
  }
);
  IPropertyHandler positiveIntHandler=new IPropertyHandler(){
    @Override public String validateValue(    String value){
      String newValue=null;
      if (value != null) {
        String trimmedValue=value.trim();
        try {
          if (Integer.parseInt(trimmedValue) > 0) {
            newValue=trimmedValue;
          }
        }
 catch (        NumberFormatException e) {
        }
      }
      return newValue;
    }
  }
;
  propertyHandlers.put("String_Node_Str",positiveIntHandler);
  propertyHandlers.put("String_Node_Str",positiveIntHandler);
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public String validateValue(    String value){
      String newValue=null;
      if (value != null) {
        String trimmedValue=value.trim();
        try {
          int intValue=Integer.parseInt(trimmedValue);
          if (intValue == -1 || (intValue >= 1 && intValue <= 16)) {
            newValue=trimmedValue;
          }
        }
 catch (        NumberFormatException e) {
        }
      }
      return newValue;
    }
  }
);
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setPort(9600);
  return;
}

Fixed version (ground truth):
/** 
 * The default constructor.
 */
public VisItConnection(){
  setProperty("String_Node_Str","String_Node_Str");
  propertyHandlers.remove("String_Node_Str");
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",propertyHandlers.remove("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public boolean validateValue(    String value){
      return value != null;
    }
  }
);
  propertyHandlers.put("String_Node_Str",propertyHandlers.get("String_Node_Str"));
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public boolean validateValue(    String value){
      return value != null;
    }
  }
);
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public boolean validateValue(    String value){
      return false;
    }
  }
);
  IPropertyHandler positiveIntHandler=new IPropertyHandler(){
    @Override public boolean validateValue(    String value){
      boolean valid=false;
      if (value != null) {
        String trimmedValue=value.trim();
        try {
          if (Integer.parseInt(trimmedValue) > 0) {
            valid=true;
          }
        }
 catch (        NumberFormatException e) {
        }
      }
      return valid;
    }
  }
;
  propertyHandlers.put("String_Node_Str",positiveIntHandler);
  propertyHandlers.put("String_Node_Str",positiveIntHandler);
  propertyHandlers.put("String_Node_Str",new IPropertyHandler(){
    @Override public boolean validateValue(    String value){
      boolean valid=false;
      if (value != null) {
        String trimmedValue=value.trim();
        try {
          int intValue=Integer.parseInt(trimmedValue);
          if (intValue == -1 || (intValue >= 1 && intValue <= 16)) {
            valid=true;
          }
        }
 catch (        NumberFormatException e) {
        }
      }
      return valid;
    }
  }
);
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setProperty("String_Node_Str","String_Node_Str");
  setPort(9600);
  return;
}