code: public static void log(Throwable t)
  	{
  		Throwable top = t;
  		if (t instanceof DebugException)
  		{
  			Throwable throwable = ((DebugException) t).getStatus().getException();
  			if (throwable != null)
  			{
  				top = throwable;
  			}
  		}
  		log(new Status(IStatus.ERROR, PLUGIN_ID, INTERNAL_ERROR, "internalErrorLoggedFromVdmDebugPlugin"
  				+ top.getMessage(), top));
  	}
docs: Logging