From 8fec356846c7983bbdf7b4e060e30df369f5dccb Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Tue, 1 May 2012 20:30:34 +0000
Subject: [PATCH] Handle java.home pointing to the JDK the JDK's JRE.

---
 pom.xml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 21f33f0..5db1f4c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -257,7 +257,7 @@
       </properties>
     </profile>
     <profile>
-      <id>non-mac</id>
+      <id>non-mac-jre</id>
       <activation>
         <file><exists>${java.home}/../lib/rt.jar</exists></file>
       </activation>
@@ -265,5 +265,14 @@
         <rt.jar.path>${java.home}/../lib/rt.jar</rt.jar.path>
       </properties>
     </profile>
+    <profile>
+      <id>non-mac-jdk</id>
+      <activation>
+        <file><exists>${java.home}/lib/rt.jar</exists></file>
+      </activation>
+      <properties>
+        <rt.jar.path>${java.home}/lib/rt.jar</rt.jar.path>
+      </properties>
+    </profile>
   </profiles>
 </project>