corrected console output format

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@12273 9e42b895-fcda-4063-8a3b-11be15eb1bbd

edu.kit.ipd.descartes.adaptation/src/edu/kit/ipd/descartes/adaptation/TacticsHistory.java

@@ -69,7 +69,7 @@ public class TacticsHistory {
 		
 		for (int i = 0; i < wTactic.size(); i++) {
 			out.print(String
-					.format("Applied tactic %1$d: %2$30s. Result ID: %3$20s. Successful: %4$5s.%n",
+					.format("Applied tactic %1$3d: %2$30s. Result ID: %3$20s. Successful: %4$5s.%n",
 							i + 1, wTactic.get(i).getUsedTactic().getName(),
 							result.get(i), tacticWasSuccessful.get(i)));
 		}