@Override
    public void onFinish() {
        Vertex leader = null;
        for (Vertex v : player.graph.vertices)
            if (v.getVariable("leader").equals("yes"))
                leader = v;
        if (leader == null)
            return;
        Object[] values = { leader.getID(), player.model.overallMessageCount,
                player.graph.vertices.size() };
        generalInfo.addInformation(textBook.getText("finish", values), -1);
        levelInfo.transparency = 0f;
        lastLevelInfo.addInformation(textBook.getText("process_number_end"), -1);
        for (int i = 0; i < levelCounter.size(); i++) {
            lastLevelInfo.addInformation(
                    i + ": " + levelCounter.get(i) + " / "
                            + (int) Math.floor(levelCounter.size() / (double) (i + 1)), -1);
        }
    }