private void readGlobalParameters(String inputfile)
	{
		if (inputfile != null) {
			input = new TransactionFileReader(inputfile);
			String line = input.readLine();
			if (line == null || !line.startsWith("TEST CASE: ")) {
				System.out.println("ERROR: Input file is incorrectly formatted. Program aborted.");
				System.exit(1);
			}
			testCase = line.substring(11);
			line = input.readLine();
			if (line == null || !line.startsWith("OUTPUT_FILE_PREFIX: ")) {
				System.out.println("ERROR: Input file is incorrectly formatted. Program aborted.");
				System.exit(1);
			}
			Globals.OUTPUT_FILE_PREFIX = line.substring(20);
			line = input.readLine();
			if (line == null || !line.startsWith("NOF_RESOURCES_PER_SERVER: ")) {
				System.out.println("ERROR: Input file is incorrectly formatted. Program aborted.");
				System.exit(1);
			}
			Globals.NOF_RESOURCES_PER_SERVER = Integer.parseInt(line.substring(26));
			line = input.readLine();
			if (line == null || !line.startsWith("TIMEOUT_INTERVAL: ")) {
				System.out.println("ERROR: Input file is incorrectly formatted. Program aborted.");
				System.exit(1);
			}
			Globals.TIMEOUT_INTERVAL = Long.parseLong(line.substring(18));
			line = input.readLine();
			if (line == null || !line.startsWith("PROBING_ENABLED: ")) {
				System.out.println("ERROR: Input file is incorrectly formatted. Program aborted.");
				System.exit(1);
			}
			Globals.PROBING_ENABLED = line.substring(17).equals("true");
		}
	}