# HG changeset patch # User Felix Wolfsteller # Date 1375956588 -7200 # Node ID 40a562030d64074717684495bb51855546f28230 # Parent 312f2d6215100d32ddc4c2853d2291a7b75cade4 Added @Override-Annotation. diff -r 312f2d621510 -r 40a562030d64 artifacts/src/main/java/org/dive4elements/river/exports/minfo/BedQualityGenerator.java --- a/artifacts/src/main/java/org/dive4elements/river/exports/minfo/BedQualityGenerator.java Thu Aug 08 12:09:26 2013 +0200 +++ b/artifacts/src/main/java/org/dive4elements/river/exports/minfo/BedQualityGenerator.java Thu Aug 08 12:09:48 2013 +0200 @@ -140,6 +140,7 @@ * @param attr * theme for facet */ + @Override public void doOut(ArtifactAndFacet artifactAndFacet, Document attr, boolean visible) { String name = artifactAndFacet.getFacetName();