Gui(String title, List<Resource> resources, Map<Integer, Server> servers, ServerImpl server, int pos)
  {
    super(title);
    this.server = server;
    resourceTableModel = new ResourceTableModel(resources);
    serverList = new JList<String>();
    nofAbortsLabel = new JLabel();
    nofCommitsLabel = new JLabel();
    updateTransactionCounters(0, 0);
    updateServerList(servers);
    placeComponents();
    setSize(550, 450);
    setLocation((pos % 2) * 560, (pos / 2) * 460);
    setVisible(true);
    setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
  }