private synchronized void releaseLocks()
	{
		for (ResourceAccess lockedResource : lockedResources)
			releaseLock(lockedResource);
		lockedResources.clear();

		if (input != null) {
			// Scan to the end of this transaction in the input file
			String line = input.readLine();
			while (!line.equals("END OF TRANSACTION"))
				line = input.readLine();
		}
	}