/* create game controller */
JavaProverGameController gameController = new JavaProverGameController(match);
/* add listener */
MatchTraceBuilder matchTraceBuilder = new MatchTraceBuilder();
gameController.addListener(matchTraceBuilder);
/* run + write result */
try {
try {
gameController.runGame();