Make automaton reproducible
While working on Reproducible Builds effort, I noticed that automaton could not be built reproducibly. This is because built date is embedded in the meta tag in pages created by javadoc. This can be removed by passing '-notimestamp' argument to javadoc in build file.
Please let me know if you have any questions regarding this.