117         this.augmentor = other.augmentor;

   117         this.augmentor = other.augmentor;

   118         this.values = other.values.clone();

   118         this.values = other.values.clone();

   119         this.suppressedValues = other.suppressedValues.clone();

   119         this.suppressedValues = other.suppressedValues.clone();

   120     }

   120     }

   121 

   121 

   122     public String toString() {

   123     public String toString() {

   123         return "Lint:[values" + values + " suppressedValues" + suppressedValues + "]";

   124         return "Lint:[values" + values + " suppressedValues" + suppressedValues + "]";

   124     }

   125     }

   125 

   126 

   126     /**

   127     /**