Merge pull request #78 from runtimeverification/addressDwight

Removing the need for regex or commons-lang
runtimeverification · Sep 17, 2014 · 13a408e · 13a408e
2 parents 31f1b1e + ce6ca91
commit 13a408e
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/main/java/javamop/GenerateAgent.java b/src/main/java/javamop/GenerateAgent.java
@@ -19,7 +19,6 @@
 import java.nio.file.attribute.BasicFileAttributes;
 import java.util.Arrays;
 import java.util.List;
-import java.util.regex.Pattern;
 
 /**
  * Handles generating a complete Java agent after .mop files have been processed into .rvm files
@@ -212,10 +211,8 @@ public static void generate(final File outputDir, final String aspectname,
      * @return Filename of the jar
      */
     private static String getJarName(String pathToJar) {
-        String name;
-        String[] parts = pathToJar.split(Pattern.quote(File.separator));
-        name = parts[parts.length - 1];
-        return name;
+        File file = new File(pathToJar);
+        return file.getName();
     }
 
     /**