Added support for different mantis server and configuration in settings