diff --git a/bds/source/java/ch/systemsx/cisd/bds/check/ProblemReport.java b/bds/source/java/ch/systemsx/cisd/bds/check/ProblemReport.java
index 7a52ecf015c88efef62ca91f6ed008027f75e12d..79d7faf35cabc92ed75f2d415c4f63294a4a909b 100644
--- a/bds/source/java/ch/systemsx/cisd/bds/check/ProblemReport.java
+++ b/bds/source/java/ch/systemsx/cisd/bds/check/ProblemReport.java
@@ -38,6 +38,7 @@ public class ProblemReport
             this.severity = level;
         }
 
+        @Override
         public String toString()
         {
             if (Severity.ERROR.equals(this.severity))