The text fddc915351ea, as Debian 4.0 (Etch) shipped it.
exceptions for WebKDC
WebKDC::WebKDCException(3pm) on Linux now