WumpusWorldConfiguration wumpusWorldConfiguration = new WumpusWorldConfiguration();
wumpusWorldConfiguration.setExitOnClose(exitOnClose);
serverKsession.setGlobal("wumpusWorldConfiguration", wumpusWorldConfiguration);
serverKsession.setGlobal("randomInteger",new java.util.Random() );
GameUI gameUI = new GameUI(serverKsession, wumpusWorldConfiguration);
serverKsession.insert(gameUI );
serverKsession.insert(gameUI.getGameView() );
new Thread(new Runnable() {
public void run() {
serverKsession.fireUntilHalt();