code: public static void logDiffException(final Logger logger,
  			final DiffException e)
  	{
  
  		logger.logException(Level.ERROR, "DiffException", e);
  	}
docs: Logs the occurance of a DiffException.
  
  @param logger
  reference to the logger
  @param e
  reference to the exception