if(moduleHeader != null) {
if(moduleHeader.defaultLocalName != null)
module.setDefaultLocalName(moduleHeader.defaultLocalName);
if(moduleHeader != null) {
if(moduleHeader.defaultLocalName != null)
module.setDefaultLocalName(moduleHeader.defaultLocalName);