From 519f66f6324d7c8c8ba6cea78d14b7c4c24c3155 Mon Sep 17 00:00:00 2001
From: pbd2h21avi <madeleine.vigier@edu.bib.de>
Date: Fri, 2 Dec 2022 15:08:57 +0100
Subject: [PATCH] test

---
 .idea/misc.xml        | 2 +-
 src/GebietsDatei.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 07115cd..fb40be9 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="17" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_16" project-jdk-name="17" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
 </project>
\ No newline at end of file
diff --git a/src/GebietsDatei.java b/src/GebietsDatei.java
index d14ec83..a5d1a23 100644
--- a/src/GebietsDatei.java
+++ b/src/GebietsDatei.java
@@ -3,7 +3,7 @@
  * interpretieren, als Gebiet-Objekte zu speichern und diese in Form einer Liste zur Verfügung
  * zu stellen.
  *
- * @author Gubitz, Wöstemeyer, Pfannenstiel, Maier, Vigier :D
+ * @author Gubitz, Wöstemeyer, Pfannenstiel, Maier, M.Vigier :D
  */
 public class GebietsDatei {
 }