property to configure webstart image

diff --git a/build.xml b/build.xml
index b2a39c6..0f81af7 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -88,6 +88,8 @@
                <!-- Don't change anything below here unless you know what you are doing! -->
                <!-- Url path for WebStart in JNLP file -->
                <property name="WebStartLocation" value="http://www.jalview.org/webstart" />
+               <!-- Webstart Image - looked for in resources/images -->
+               <property name="WebStartImage" value="JalviewLogo_big.png"/>
                <!-- J2SE version needed for webstart launch -->
                <property name="j2sev" value="1.6+"/>
                <!-- build directory configuration -->
@@ -234,7 +236,7 @@
                </signjar>
                <copy todir="${packageDir}">
                        <fileset dir="${resourceDir}/images">
-                               <include name="JalviewLogo_big.png"/>
+                               <include name="${WebStartImage}"/>
                        </fileset>
                                        </copy>
                
@@ -249,7 +251,7 @@
                                <homepage href="http://www.jalview.org" />
                                <description>Jalview Multiple Alignment Editor</description>
                                <description kind="short">Jalview</description>
-                               <icon href="JalviewLogo_big.png" />
+                               <icon href="${WebStartImage}" />
                                <offline_allowed/>
                        </information>
                        <resources>
@@ -277,7 +279,7 @@
                                <homepage href="http://www.jalview.org" />
                                <description>Jalview Multiple Alignment Editor</description>
                                <description kind="short">Jalview</description>
-                               <icon href="JalviewLogo_big.png" />
+                               <icon href="${WebStartImage}" />
                                <offline_allowed />
                        </information>
                        <resources>
@@ -305,7 +307,7 @@
                                <homepage href="http://www.jalview.org" />
                                <description>Jalview Multiple Alignment Editor</description>
                                <description kind="short">Jalview</description>
-                               <icon href="JalviewLogo_big.png" />
+                               <icon href="${WebStartImage}" />
                                <offline_allowed />
                        </information>
                        <resources>