186187188189190191192193194195196
Options options; Options defaultOptions = this.defaultOptions.get( request.getAlgorithm() ); if (defaultOptions != null) { options = defaultOptions.clone(); if (request.getOptions() != null) { options.apply( request.getOptions() ); }