private Integer[] determineWinnerTaIds() {

		BufferedReader reader = null;
		ArrayList<Integer> winnerTas = new ArrayList<Integer>();

		try
		{
			reader = new BufferedReader(new FileReader("TransactionLog"));
			String line = reader.readLine();
			String[] values;

			while (line != null)
			{

				values = line.split("\\|");

				switch (values[2].split("\\:")[1]) {
					case "committed": {
						winnerTas.add(Integer.parseInt(values[1].split("\\:")[1]));
						break;
					}
					case "BOT": {
						// BOT
						break;
					}
					default: {
						// data
						break;
					}
				}

				line = reader.readLine();

			}

		} catch (FileNotFoundException e)
		{
			System.err.println("No TransactionLog File found. Crash Recovery is impossible\nSkipping Crash Recovery..");
			return null;
		} catch (Exception e)
		{
			e.printStackTrace();
		} finally
		{
			try
			{
				if (reader != null)
				{
					reader.close();
				}
			} catch (Exception ex)
			{
				ex.printStackTrace();
			}

		}
		return (Integer[]) winnerTas.toArray(new Integer[winnerTas.size()]);

	}