Use the appropriate File constructor

dscho · dscho · commit 764e49dbf8ea · 2014-05-15T16:30:31.000-05:00
This avoids issues with directory separators.

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/src/main/java/org/scijava/plugins/scripting/java/JavaEngine.java b/src/main/java/org/scijava/plugins/scripting/java/JavaEngine.java
@@ -262,7 +262,7 @@ private MavenProject getMavenProject(final BuildEnvironment env,
 		path = path.substring(0, path.length() - mainClass.length() - 5);
 		if (path.replace(File.separatorChar, '/').endsWith("/src/main/java/")) {
 			path = path.substring(0, path.length() - "src/main/java/".length());
-			final File pom = new File(path + "pom.xml");
+			final File pom = new File(path, "pom.xml");
 			if (pom.exists()) return env.parse(pom, null);
 		}
 		final File rootDirectory = file.getParentFile();

Original file line number	Diff line number	Diff line change
`@@ -262,7 +262,7 @@ private MavenProject getMavenProject(final BuildEnvironment env,`
`262`	`262`	`path = path.substring(0, path.length() - mainClass.length() - 5);`
`263`	`263`	`if (path.replace(File.separatorChar, '/').endsWith("/src/main/java/")) {`
`264`	`264`	`path = path.substring(0, path.length() - "src/main/java/".length());`
`265`		`- final File pom = new File(path + "pom.xml");`
	`265`	`+ final File pom = new File(path, "pom.xml");`
`266`	`266`	`if (pom.exists()) return env.parse(pom, null);`
`267`	`267`	`}`
`268`	`268`	`final File rootDirectory = file.getParentFile();`