From 5bb85af67f4590d254d079e368813a520aee3310 Mon Sep 17 00:00:00 2001
From: Marvin Kaiser <marvin.kaiser.93@gmail.com>
Date: Mon, 28 Oct 2019 17:06:20 +0100
Subject: [PATCH] updated antlr4 to latest version

---
 .settings/org.eclipse.core.resources.prefs | 1 -
 pom.xml                                    | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
index 4fd796d..e9441bb 100644
--- a/.settings/org.eclipse.core.resources.prefs
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -1,4 +1,3 @@
 eclipse.preferences.version=1
 encoding//src/main/java=UTF-8
-encoding//target/generated-sources/antlr4=UTF-8
 encoding/<project>=UTF-8
diff --git a/pom.xml b/pom.xml
index 8b35c61..bb42969 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
     <dependency>
       <groupId>org.antlr</groupId>
       <artifactId>antlr4-runtime</artifactId>
-      <version>4.5</version>
+      <version>4.7.2</version>
     </dependency>
   </dependencies>
 
@@ -44,7 +44,7 @@
       <plugin>
         <groupId>org.antlr</groupId>
         <artifactId>antlr4-maven-plugin</artifactId>
-        <version>4.5</version>
+        <version>4.7.2</version>
         <executions>
           <execution>
             <goals>