From bac974b204dc7c4aa8245402be091a0e62dd28c5 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 15 Sep 2005 09:39:30 +0000
Subject: [PATCH] Dont add time to build date

---
 build.xml |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 38f5358..89342b4 100755
--- a/build.xml
+++ b/build.xml
@@ -85,7 +85,7 @@
     <taskdef classpath="utils/roxes-ant-tasks-1.2-2004-01-30.jar" resource="com/roxes/tools/ant/taskdefs.properties"/>
     <target name="buildPropertiesFile" depends="init">
       <tstamp prefix="build">
-        <format property="date" pattern="dd MMMM yyyy hh.mm aa"/>
+        <format property="date" pattern="dd MMMM yyyy"/>
       </tstamp>
       <properties file="${outputDir}/.build_properties">
         <header>
@@ -340,6 +340,7 @@
       -injars      in.jar
       -outjars     jalviewApplet.jar
       -keep public class jalview.bin.JalviewLite
+      		{ public static void main(java.lang.String[]);}
     </proguard>
     <delete file="in.jar"/>
   </target>
-- 
1.7.10.2