public String toString(){
  StringBuffer result=new StringBuffer("{ ");
  for (int i=0; i < intervalls.size(); i++)   result.append(intervalls.elementAt(i));
  result.append(" }");
  return result.toString();
}

public String toString ( ) { StringBuffer result = new StringBuffer ( "{ " ) ; for ( int i = 0 ; i < intervalls . size ( ) ; i ++ ) result . append ( intervalls . elementAt ( i ) ) ; result . append ( " }" ) ; return result . toString ( ) ; }
make a string representation of this char set .
