public void addPrimer(String moduleFilename,String extendedModuleName){
  tlaBuffer.append(ResourceHelper.getExtendingModuleContent(moduleFilename,extendedModuleName));
}

public void addPrimer ( String moduleFilename , String extendedModuleName ) { tlaBuffer . append ( ResourceHelper . getExtendingModuleContent ( moduleFilename , extendedModuleName ) ) ; }
add file header , which consists of the module - beginning - - - - - module . . . - - - - line and the extends statement .
