From 5cad4ce510ec37d89d2a3385c3553263dfb5d13e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Christophe=20Thi=C3=A9ry?= <christopho128@gmail.com>
Date: Tue, 4 Oct 2011 15:48:14 +0200
Subject: [PATCH] Replace push by addFirst, compatible with older versions of
 Java

---
 examples/mutualExclusion/centralized/Coordinator.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/mutualExclusion/centralized/Coordinator.java b/examples/mutualExclusion/centralized/Coordinator.java
index 4d5e45d571..74abea263b 100644
--- a/examples/mutualExclusion/centralized/Coordinator.java
+++ b/examples/mutualExclusion/centralized/Coordinator.java
@@ -33,7 +33,7 @@ public class Coordinator extends Process  {
 					GrantTask tosend =  new GrantTask();
 					tosend.send(t.from);
 				} else {
-					waitingQueue.push(t);
+					waitingQueue.addFirst(t);
 				}
 			} else if (task instanceof ReleaseTask) {
 				if (!waitingQueue.isEmpty()) {
@@ -48,4 +48,4 @@ public class Coordinator extends Process  {
 			}
 		}
 	}
-}
\ No newline at end of file
+}
-- 
2.20.1