code: public void setOptions(Set<Option> options) {
          this.options = (options == null)
                         ? Collections.<Option>emptySet()
                         : new HashSet<Option>(options);
      }
docs: Sets the revocation options.
  
  @param options a set of revocation options. The set is copied to protect
  against subsequent modification.