--- a/tool/globals.h	Wed Jul 23 07:29:00 2008 +0000
+++ b/tool/globals.h	Wed Jul 23 08:06:10 2008 +0000
@@ -46,12 +46,12 @@
 
 /****************************************************************************/
 
-class ExecutionFailureException:
+class CommandException:
     public runtime_error
 {
     public:
         /** Constructor with std::string parameter. */
-        ExecutionFailureException(
+        CommandException(
                 const stringstream &s /**< Message. */
                 ): runtime_error(s.str()) {}
 };