From b33f2b717ad3fae4217b54e5acb7252828787601 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 28 Feb 2024 16:00:27 +0100
Subject: [PATCH] Update .classpath for current lib jars

Tycho seems to use the .classpath in some way, because it prints stack
traces if there are nonexistant entries in it. Apparently the outdated
.classpath hasn't caused any actual problems so far, but let's fix it
just to be safe.
---
 org.eventb.texteditor.parsers/.classpath | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/org.eventb.texteditor.parsers/.classpath b/org.eventb.texteditor.parsers/.classpath
index 9518463..bef9215 100644
--- a/org.eventb.texteditor.parsers/.classpath
+++ b/org.eventb.texteditor.parsers/.classpath
@@ -1,13 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry exported="true" kind="lib" path="lib/guava-14.0.1.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/jsr305-1.3.9.jar"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
-	<classpathentry exported="true" kind="lib" path="lib/bparser-2.4.40.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.40.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/parserbase-2.4.40.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.40.jar"/>
 	<classpathentry kind="output" path="bin"/>
+	<classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.13.0.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/sablecc-runtime-3.7.0.jar"/>
 </classpath>
-- 
GitLab