Remove date from Translator text output for reproducibility

src/main/java/de/tla2bAst/Translator.java

@@ -10,7 +10,6 @@ import java.io.IOException;
 import java.io.OutputStreamWriter;
 import java.io.PrintWriter;
 import java.io.UnsupportedEncodingException;
-import java.util.Date;
 import java.util.Hashtable;
 
 import de.be4.classicalb.core.parser.BParser;
@@ -323,7 +322,7 @@ public class Translator implements TranslationGlobals {
 		PrettyPrinter pp = new PrettyPrinter();
 		pp.setRenaming(new SuffixIdentifierRenaming());
 		BAst.apply(pp);
-		String result = "/*@ generated by TLA2B " + VERSION_NUMBER + " " + new Date() + " */\n" + pp.getPrettyPrint();
+		String result = "/*@ generated by TLA2B " + VERSION_NUMBER + " */\n" + pp.getPrettyPrint();
 
 		try {
 			BufferedWriter out = new BufferedWriter(new OutputStreamWriter(new FileOutputStream(machineFile), "UTF-8"));