Prefer automatically updated date marker to manual one

[simgrid.git] / src / java / simgrid / msg / Sem.java

diff --git a/src/java/simgrid/msg/Sem.java b/src/java/simgrid/msg/Sem.java
index 7166a5f..5710ae3 100644 (file)
--- a/src/java/simgrid/msg/Sem.java
+++ b/src/java/simgrid/msg/Sem.java
@@ -1,6 +1,21 @@
+/*\r
+ * $Id$\r
+ *\r
+ * Copyright 2006,2007 Martin Quinson, Malek Cherier           \r
+ * All right reserved. \r
+ *\r
+ * This program is free software; you can redistribute \r
+ * it and/or modify it under the terms of the license \r
+ *(GNU LGPL) which comes with this package. \r
+ */\r
+ \r
 package simgrid.msg;\r
 \r
 public class Sem { \r
+       \r
+       /******************************************************************/\r
+       /* Simple semaphore implementation, from Doug Lea (public domain) */\r
+       /******************************************************************/\r
        private int permits_;\r
        \r
        public Sem(int i) {\r
@@ -31,4 +46,4 @@ public class Sem {
                ++(this.permits_);\r
                notify();\r
        }\r
-}
\ No newline at end of file
+}\r