model-checker : update tesh files

[simgrid.git] / examples / java / mutualExclusion / ReleaseTask.java

diff --git a/examples/java/mutualExclusion/ReleaseTask.java b/examples/java/mutualExclusion/ReleaseTask.java
index a33bf24ee5f58e140b108a6491f72d3953435191..46db893027111e21cd69f329fa257a27776034c9 100644 (file)
--- a/examples/java/mutualExclusion/ReleaseTask.java
+++ b/examples/java/mutualExclusion/ReleaseTask.java
@@ -4,6 +4,6 @@
  * This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. 
  */
-package mutualExclusion.centralized;
+package mutualExclusion;
 public class ReleaseTask extends org.simgrid.msg.Task {
 }