Clean up Antlr4 dependency and add to classpath/Intellij config

Author: BaierD

.classpath

@@ -33,6 +33,7 @@ SPDX-License-Identifier: Apache-2.0
 	<classpathentry kind="lib" path="lib/java/runtime-cvc5/cvc5.jar"/>
 	<classpathentry kind="lib" path="lib/java/test/truth-java8-extension.jar" sourcepath="lib/java-contrib/truth-java8-extension-sources.jar"/>
 	<classpathentry kind="lib" path="lib/java/core/checker-qual.jar" sourcepath="lib/java-contrib/checker-qual-sources.jar"/>
+	<classpathentry kind="lib" path="lib/java/core/antlr4-runtime.jar"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
 		<attributes>
 			<attribute name="module" value="true"/>

.idea/JavaSMT.iml

@@ -171,8 +171,9 @@ SPDX-License-Identifier: Apache-2.0
         <!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest although they do not really need it.
              As long as this is the case we need to provide the JAR, otherwise javac complains. -->
         <dependency org="org.codehaus.mojo" name="animal-sniffer-annotations" rev="1.18" conf="core->default;"/>
-        <dependency org="org.antlr" name="antlr4-runtime" rev="4.13.1" conf="core->default;"/>
 
+        <!-- Antlr grammar support for our SMTLIB2 parser/generator -->
+        <dependency org="org.antlr" name="antlr4-runtime" rev="4.13.1" conf="core->default;"/>
 
         <!-- Guava has a dependency on error_prone_annotations without a revision number, need an override. -->
         <override org="com.google.errorprone" module="error_prone_annotations" rev="2.4.0"/>