Update mantis/model/Result.php