diff --git a/contributors.xml b/contributors.xml
index 815fdb427..75664265a 100644
--- a/contributors.xml
+++ b/contributors.xml
@@ -666,6 +666,10 @@
Nick
Chalko
+
+ Nick
+ Crossley
+
Nick
Fortescue
diff --git a/src/main/org/apache/tools/ant/launch/Locator.java b/src/main/org/apache/tools/ant/launch/Locator.java
index 24e38efd3..b909f2808 100644
--- a/src/main/org/apache/tools/ant/launch/Locator.java
+++ b/src/main/org/apache/tools/ant/launch/Locator.java
@@ -339,10 +339,15 @@ public final class Locator {
// couldn't find compiler - try to find tools.jar
// based on java.home setting
String javaHome = System.getProperty("java.home");
+ File toolsJar = new File(javaHome + "/lib/tools.jar");
+ if (toolsJar.exists()) {
+ // Found in java.home as given
+ return toolsJar;
+ }
if (javaHome.toLowerCase(Locale.US).endsWith(File.separator + "jre")) {
javaHome = javaHome.substring(0, javaHome.length() - 4);
+ toolsJar = new File(javaHome + "/lib/tools.jar");
}
- File toolsJar = new File(javaHome + "/lib/tools.jar");
if (!toolsJar.exists()) {
System.out.println("Unable to locate tools.jar. "
+ "Expected to find it in " + toolsJar.getPath());