minor changes

.gitignore

 .DS_Store
+**/.DS_Store
 *.~
 
 

src/Sequenic/T3/DerivativeSuiteGens/Gen2/G2_forSBST.java

@@ -85,7 +85,7 @@ public class G2_forSBST {
 	 *    arg2 CUTroot-directory (binary)
 	 *    arg3 tracefile-directory
 	 *    arg4 junitDir
-	 *    arg5 time-budget
+	 *    arg5 time-budget in ms
 	 *    arg6 worklist-type:  standard/random/lowcovfirst
 	 *    arg7 trace-refinement-heuristic: random/evo
 	 *    arg8 the maximum number of times each test-target will be refined