public IntegerConstant addInteger(int value){
  IntegerConstant entry=getIntegerByValue(value);
  if (entry != null)   return entry;
  entry=new IntegerConstant(this,_entries.size(),value);
  addConstant(entry);
  return entry;
}

public IntegerConstant addInteger ( int value ) { IntegerConstant entry = getIntegerByValue ( value ) ; if ( entry != null ) return entry ; entry = new IntegerConstant ( this , _entries . size ( ) , value ) ; addConstant ( entry ) ; return entry ; }
adds a integer constant .
