792             try {

   792             try {

   793                 AttributedStringIterator other = (AttributedStringIterator) super.clone();

   793                 AttributedStringIterator other = (AttributedStringIterator) super.clone();

   794                 return other;

   794                 return other;

   795             }

   795             }

   796             catch (CloneNotSupportedException e) {

   796             catch (CloneNotSupportedException e) {

   798             }

   798             }

   799         }

   799         }

   800 

   800 

   801         // CharacterIterator methods. See documentation in that interface.

   801         // CharacterIterator methods. See documentation in that interface.

   802 

   802