remove timestamp from javadoc

... to reduce size of diffs in auto-generated javadoc pushes.