Fix for JSON-deserialization of CommandException