hore
Delays funker. La til egenklesse for probe. Må jobbes mer med
Merge branch 'transactiontme'- Timeouts perfekt. Set variabel probing_enabled i globals til false for å kjøre timeout. Edge Chasing må jobbes mer med

Conflicts:
	src/Ov4/Transaction.java