delete generated files

src/test/java/de/tla2b/main/MainTest.java

 package de.tla2b.main;
 
+import java.io.File;
+
 import org.junit.Test;
 
 import de.tla2b.TLA2B;
@@ -8,8 +10,9 @@ public class MainTest {
 
 	@Test
 	public void testClub() throws Exception {
-		String file = "src/test/resources/regression/Club/Club.tla";
-		TLA2B.main(new String[] { file });
+		String dir = "src/test/resources/regression/Club/";
+		TLA2B.main(new String[] { dir + "Club.tla" });
+		new File(dir + "Club_tla.txt").deleteOnExit();
 	}
 
 }