Merge branch 'stable'
Sort module maps (switch from HashMap to TreeMap in MdmModuleSet)
Merge pull request #9 from kkroening/master

Sort module maps (switch from HashMap to TreeMap in MdmModuleSet)