add set_mantis_parameter