From 2c6bb7139d0c31f73d4b9ce147390ff87945c66a Mon Sep 17 00:00:00 2001
From: Peter Kiraly <peter.kiraly@gwdg.de>
Date: Sat, 10 Apr 2021 11:33:09 +0200
Subject: [PATCH] Fixing a bug found by sonar

---
 .github/workflows/maven.yml                                     | 2 +-
 .../gwdg/metadataqa/api/abbreviation/AbbreviationManager.java   | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 4f679f64..1aa64880 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -39,4 +39,4 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}  # Needed to get PR information, if any
         SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
-      run: mvn -B verify org.sonarsource.scanner.maven:sonar-maven-plugin:sonar  -DskipGpg=true
+      run: mvn -B verify org.sonarsource.scanner.maven:sonar-maven-plugin:sonar -DskipGpg=true
diff --git a/src/main/java/de/gwdg/metadataqa/api/abbreviation/AbbreviationManager.java b/src/main/java/de/gwdg/metadataqa/api/abbreviation/AbbreviationManager.java
index 6d94fe66..4e6af3b2 100644
--- a/src/main/java/de/gwdg/metadataqa/api/abbreviation/AbbreviationManager.java
+++ b/src/main/java/de/gwdg/metadataqa/api/abbreviation/AbbreviationManager.java
@@ -131,7 +131,6 @@ public void save(String fileName)
         writer.println(String.format("%d;%s", entry.getValue(), entry.getKey()));
       }
       writer.flush();
-      writer.close();
     }
   }