<?php class Doctrine_View_Exception extends Doctrine_Exception { } ?>