public static ResourceManager mergeProperties(List<ResourceManager> rmList){
  if (rmList.isEmpty())   throw new IllegalArgumentException("ERROR: called with empty list of ResourceManager as argument.");
  ResourceManager finalRm=rmList.get(0);
  for (int i=1; i < rmList.size(); ++i)   finalRm=Configurator.mergeProperties(finalRm,rmList.get(i));
  return finalRm;
}

public static ResourceManager mergeProperties ( List < ResourceManager > rmList ) { if ( rmList . isEmpty ( ) ) throw new IllegalArgumentException ( "ERROR: called with empty list of ResourceManager as argument." ) ; ResourceManager finalRm = rmList . get ( 0 ) ; for ( int i = 1 ; i < rmList . size ( ) ; ++ i ) finalRm = Configurator . mergeProperties ( finalRm , rmList . get ( i ) ) ; return finalRm ; }
merge a list of resourcemanager objects
