code: protected void setPageStatus(IStatus status) {
  		this.status = status == null ? SARLEclipsePlugin.getDefault().createOkStatus() : status;
  	}
docs: Change the status associated to this page.
  Any previous status is overrided by the given value.
  
  <p>You must call {@link #updatePageStatus()} after
  invoking this methid.
  
  @param status the new status.