public synchronized int size(){
  return options.size();
}

public synchronized int size ( ) { return options . size ( ) ; }
returns the " size " of the configuration which is defined as the number of unique option names
