added header to PreProcessorException.php, which implements the Exception class.