[Bug 2641] New: revman 4.2.7 crashes