Removed timestamps in html comments to avoid big diffs for generated javadocs