public void addTagEnd(ITypedRegion end){
  ITypedRegion userRegion=getUserRegion();
  if (userRegion != null) {
    stack.push(userRegion);
  }
  processTag(end);
}

public void addTagEnd ( ITypedRegion end ) { ITypedRegion userRegion = getUserRegion ( ) ; if ( userRegion != null ) { stack . push ( userRegion ) ; } processTag ( end ) ; }
add the end of coverage
