Merge branch 'JAL-1139_proguard' into Release_2_8_Branch

diff --git a/build.xml b/build.xml
index 5816100..eae1d94 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -228,7 +228,7 @@
 
        <target name="makefulldist" depends="makedist">
                <!-- the default keystore details might need to be edited here -->
-               <signjar storepass="${jalview.keystore.pass}" keypass="${jalview.key.pass}" keystore="${jalview.keystore}" alias="${jalview.key}" lazy="false" verbose="false">
+               <signjar digestalg="SHA1" storepass="${jalview.keystore.pass}" keypass="${jalview.key.pass}" keystore="${jalview.keystore}" alias="${jalview.key}" lazy="false" verbose="false">
 
                        <fileset dir="${packageDir}">
                                <include name="*.jar" />