# Implementation used by `get_class` to create the specific class.
	#
	# To be redefined to use specific meta-classes.
	#
	# Note: Do not forget to update the virtual type `CLASS`.
	#
	# REQUIRE: `result.name` == `name`
	protected fun class_factory(name: String): CLASS
	do
		return new Class[SELF](name)
	end