Fix @generated comment in machine file header

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

@@ -37,6 +37,11 @@ import java.util.stream.Collectors;
 import static de.tla2b.global.TranslationGlobals.VERSION_NUMBER;
 
 public class Translator {
+
+	/**
+	 * This old header looks like the generated pragma which does not parse because of the text following it.
+	 */
+	private static final String GENERATED_BY_TLA2B_HEADER_OLD = "/*@ generated by TLA2B ";
 	private static final String GENERATED_BY_TLA2B_HEADER = "/* @generated by TLA2B ";
 
 	private String parentPath;
@@ -216,7 +221,8 @@ public class Translator {
 		if (machineFile.exists()) {
 			try (BufferedReader in = new BufferedReader(new FileReader(machineFile))) {
 				String firstLine = in.readLine();
-				if (firstLine != null && !firstLine.startsWith(GENERATED_BY_TLA2B_HEADER)) {
+				boolean generatedByTLA2B = firstLine != null && (firstLine.startsWith(GENERATED_BY_TLA2B_HEADER_OLD) || firstLine.startsWith(GENERATED_BY_TLA2B_HEADER));
+				if (!generatedByTLA2B) {
 					System.err.println("Error: File " + machineFile.getName() + " already exists"
 						+ " and was not generated by TLA2B.\n" + "Delete or move this file.");
 					System.exit(-1);