The text 501f376dbb79, as Debian 5.0 (Lenny) shipped it.
exceptions for WebKDC
WebKDC::WebKDCException(3pm) on Linux now
