protected void addOptions(Map<String,String> moreopts){
  Map<String,String> activeOpts=new HashMap<String,String>(getOptions());
  activeOpts.putAll(moreopts);
  activeOptions=Collections.unmodifiableMap(activeOpts);
}

protected void addOptions ( Map < String , String > moreopts ) { Map < String , String > activeOpts = new HashMap < String , String > ( getOptions ( ) ) ; activeOpts . putAll ( moreopts ) ; activeOptions = Collections . unmodifiableMap ( activeOpts ) ; }
add additional active options . use of this method should be limited to the aggregatechecker , who needs to set the active options to the union of all subcheckers .
