From f84a9f5f2be00d14168ba40ebf9357bc99fce9ce Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 12:50:34 +0200
Subject: Finer imports.

---
 instr-to-kodkod/src/QuickParser.java | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

(limited to 'instr-to-kodkod/src/QuickParser.java')

diff --git a/instr-to-kodkod/src/QuickParser.java b/instr-to-kodkod/src/QuickParser.java
index 7a63c43..6a75106 100644
--- a/instr-to-kodkod/src/QuickParser.java
+++ b/instr-to-kodkod/src/QuickParser.java
@@ -1,7 +1,13 @@
-/* FIXME: Finer imports */
-import java.io.*;
-import java.util.regex.*;
-import java.util.*;
+import java.io.BufferedReader;
+import java.io.FileNotFoundException;
+import java.io.FileReader;
+import java.io.IOException;
+
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
+
+import java.util.ArrayList;
+import java.util.List;
 
 public class QuickParser
 {
@@ -16,6 +22,7 @@ public class QuickParser
             "\\(([a-z_0-9\\->]+ .*)\\)"
          );
    }
+
    public QuickParser (final String filename)
    throws FileNotFoundException
    {
-- 
cgit v1.2.3-70-g09d2