# Set of modules to display
	# Initially empty, modules can be added
	var mmodules = new HashSet[MModule]