From 43661de74ea7e1f4dde4ea2dae26ed5a9e3f34f6 Mon Sep 17 00:00:00 2001
From: Abel <abgolla@gmail.com>
Date: Fri, 28 Apr 2023 03:59:00 +0200
Subject: [PATCH] Add Override annotation

---
 .../dspace/app/mediafilter/ImageMagickVideoThumbnailFilter.java  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dspace-api/src/main/java/org/dspace/app/mediafilter/ImageMagickVideoThumbnailFilter.java b/dspace-api/src/main/java/org/dspace/app/mediafilter/ImageMagickVideoThumbnailFilter.java
index 2f5ff9da0f..f6f657eaa0 100644
--- a/dspace-api/src/main/java/org/dspace/app/mediafilter/ImageMagickVideoThumbnailFilter.java
+++ b/dspace-api/src/main/java/org/dspace/app/mediafilter/ImageMagickVideoThumbnailFilter.java
@@ -54,6 +54,7 @@ public class ImageMagickVideoThumbnailFilter extends ImageMagickThumbnailFilter
         }
     }
 
+    @Override
     public File getThumbnailFile(File f, boolean verbose)
         throws IOException, InterruptedException, IM4JavaException {
         File f2 = new File(f.getParentFile(), f.getName() + ".jpg");