( "yyyy-MM-dd HH:mm:ss Z" );
( "yyyy-MM-dd HH:mm:ss z" );
    public void resetGame() {        // remove all entities        game.reset();        send(createEntitiesPacket());        send(new Packet(Packet.COMMAND_SENDING_MINEFIELDS, new Vector()));        //TODO: remove ghosts        // reset all players        resetPlayersDone();        transmitAllPlayerDones();        // Write end of game to stdout so controlling scripts can rotate logs.        SimpleDateFormat format = new SimpleDateFormat            ( "yyyy-MM-dd HH:mm:ss Z" );        System.out.print( format.format(new Date()) );        System.out.println( " END OF GAME" );        changePhase(Game.PHASE_LOUNGE);    }