Author: Jan Dittberner <jandd@debian.org>
Subject: disable javadoc options that are not supported by gjdoc

--- a/build.xml
+++ b/build.xml
@@ -1105,7 +1105,7 @@
       <group title="Platform Utilities" packages="com.sun.jna.platform,com.sun.jna.platform.dnd"/>
       <group title="Platform Specific" packages="com.sun.jna.platform.*"/>
 
-      <arg value="-notimestamp"/>
+      <!--<arg value="-notimestamp"/>-->
     </javadoc>
     <jar jarfile="${platform-javadoc-jar}">
       <fileset dir="${javadoc}" />