The text 167621fc6b4d, as Debian 7 (Wheezy) shipped it.
exceptions for WebKDC
WebKDC::WebKDCException(3pm) on Linux now
