Dont add time to build date

diff --git a/build.xml b/build.xml
index 38f5358..89342b4 100755 (executable)
--- 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>