am 58355501: am 1c8eff91: am d60f3eee: Verifier uses exception type instead of conflict if unresolved. * commit '58355501': Verifier uses exception type instead of conflict if unresolved.