Replace push by addFirst, compatible with older versions of Java

diff --git a/examples/mutualExclusion/centralized/Coordinator.java b/examples/mutualExclusion/centralized/Coordinator.java
index 4d5e45d5711b82473b2c48efc962d70aef407d1d..74abea263b3c12d19a713790eff55aaef77de4a6 100644 (file)
--- 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
+}