# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1367855856 -7200
# Node ID e16926bd6ea19b9d87a0b1ddf41f5a5aa6752dbd
# Parent  892dcb178737e2ba6a75e16b579bb0cebdd93699
Easier way to redefine location of appropriate jfxrt.jar

diff -r 892dcb178737 -r e16926bd6ea1 launcher/fx/pom.xml
--- a/launcher/fx/pom.xml	Sun May 05 18:16:43 2013 +0200
+++ b/launcher/fx/pom.xml	Mon May 06 17:57:36 2013 +0200
@@ -33,8 +33,9 @@
         </plugins>
     </build>
     <properties>
-    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-  </properties>
+        <jfxrt.jar>${java.home}/lib/jfxrt.jar</jfxrt.jar>
+        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+    </properties>
   <dependencies>
     <dependency>
       <groupId>${project.groupId}</groupId>
@@ -51,7 +52,7 @@
       <artifactId>javafx</artifactId>
       <version>2.2</version>
       <scope>system</scope>
-      <systemPath>${java.home}/lib/jfxrt.jar</systemPath>
+      <systemPath>${jfxrt.jar}</systemPath>
     </dependency>
   </dependencies>
 </project>