From 845fa0838b09403e5bf4f127fb13a8f1f2be4752 Mon Sep 17 00:00:00 2001
From: dblouin <Dominique.Blouin@hpi.de>
Date: Thu, 12 Jan 2017 14:14:46 +0100
Subject: [PATCH] Removed unused field + cleaned imports
---
src/GraphShow.java | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/src/GraphShow.java b/src/GraphShow.java
index ca546ef1dc..d7756cebb0 100755
--- a/src/GraphShow.java
+++ b/src/GraphShow.java
@@ -47,12 +47,10 @@
*/
import java.io.File;
-import java.io.FileOutputStream;
-import java.util.ArrayList;
-
-import myutil.*;
-import ui.graph.*;
+import myutil.FileUtils;
+import myutil.TraceManager;
+import ui.graph.AUTGraph;
public class GraphShow {
@@ -108,7 +106,7 @@ public class GraphShow {
public static void main(String[] args) {
- String[] tmp;
+// String[] tmp;
printCopyright();
@@ -117,7 +115,7 @@ public class GraphShow {
return;
}
- int nbOfOptions = 0;
+ // int nbOfOptions = 0;
if (hasDebug(args)) {
TraceManager.devPolicy = TraceManager.TO_CONSOLE;
} else {
--
GitLab