public void clear(){
  if (hasChanged) {
    pages.clear();
  }
  hasChanged=false;
}

public void clear ( ) { if ( hasChanged ) { pages . clear ( ) ; } hasChanged = false ; }
clear the error page pool
