From 8a2b8bb7696949572f855852c47a3a0a683c3ff4 Mon Sep 17 00:00:00 2001
From: karoliineh <karoliine.holter@ut.ee>
Date: Mon, 14 Aug 2023 12:58:59 +0300
Subject: [PATCH] Add back required imports

---
 src/main/java/Main.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/Main.java b/src/main/java/Main.java
index 0a9a4d4..42e4fd5 100644
--- a/src/main/java/Main.java
+++ b/src/main/java/Main.java
@@ -5,6 +5,7 @@
 import analysis.ShowCFGCommand;
 import api.GoblintService;
 import api.GoblintServiceLauncher;
+import api.messages.params.Params;
 import goblintserver.GoblintServer;
 import gobpie.GobPieConfReader;
 import gobpie.GobPieConfiguration;
@@ -16,6 +17,7 @@
 import org.eclipse.lsp4j.MessageParams;
 import org.eclipse.lsp4j.MessageType;
 import org.eclipse.lsp4j.jsonrpc.messages.Either;
+import java.io.File;
 
 public class Main {