question: public void addPrimer ( String moduleFilename , String extendedModuleName ) { tlaBuffer . append ( ResourceHelper . getExtendingModuleContent ( moduleFilename , extendedModuleName ) ) ; }
target:  Add file header, which consists of the module-beginning ----- MODULE ... ---- line and the EXTENDS statement.