From 7813bb75dea6dac684c09a5fdd8d286731a2d38a Mon Sep 17 00:00:00 2001
From: "Azalea (on HyDEV-Daisy)" <me@hydev.org>
Date: Mon, 16 May 2022 01:53:34 -0400
Subject: [PATCH] [F] Fix maven instruction

---
 README.md                                                    | 2 +-
 pom.xml                                                      | 3 +--
 .../edu/lu/uni/serval/richedit/jobs/EnhancedASTDiff.java     | 5 ++---
 3 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index a8a30c1..5f66749 100644
--- a/README.md
+++ b/README.md
@@ -77,7 +77,7 @@ In order to launch FixMiner, execute [fixminer.sh](python/fixminer.sh)
 
 * Install the project with maven from root. (usage [pom.xml](pom.xml))
   ```powershell
-  mvn clean install
+  mvn clean package
   ```
 * Active the conda environment from shell
   ```powershell
diff --git a/pom.xml b/pom.xml
index 37aaeb0..611187c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -12,7 +12,6 @@
             <groupId>edu.lu.uni.serval</groupId>
             <artifactId>RichEdit</artifactId>
             <version>1.0.0</version>
-<!--            <scope>compile</scope>-->
         </dependency>
         <dependency>
             <groupId>org.yaml</groupId>
@@ -130,4 +129,4 @@
         </plugins>
     </build>
 
-</project>
\ No newline at end of file
+</project>
diff --git a/richedit/src/main/java/edu/lu/uni/serval/richedit/jobs/EnhancedASTDiff.java b/richedit/src/main/java/edu/lu/uni/serval/richedit/jobs/EnhancedASTDiff.java
index bd4aa08..8fcf524 100755
--- a/richedit/src/main/java/edu/lu/uni/serval/richedit/jobs/EnhancedASTDiff.java
+++ b/richedit/src/main/java/edu/lu/uni/serval/richedit/jobs/EnhancedASTDiff.java
@@ -33,12 +33,11 @@ public class EnhancedASTDiff
         String parameters = String.format("\nInput path %s", inputPath);
         log.info(parameters);
 
-        CallShell cs = new CallShell();
+        // Run Redis
         String cmd = String.format("redis-server %s/redis.conf --dir %s --dbfilename redis.rdb --port %s --daemonize yes", srcPath, dbDir, redisPort);
-
         CallShell.runShell(cmd, redisPort);
 
-        JedisPool innerPool = new JedisPool(PoolBuilder.getPoolConfig(), "127.0.0.1", Integer.valueOf(redisPort), 20000000);
+        JedisPool innerPool = new JedisPool(PoolBuilder.getPoolConfig(), "127.0.0.1", Integer.parseInt(redisPort), 20000000);
 
         boolean isJava = projectType.equals("java");
         File folder = new File(inputPath);