for some reasons, the PID was sometimes not inited correctly in Java

[simgrid.git] / src / bindings / java / org / simgrid / msg / Semaphore.java

diff --git a/src/bindings/java/org/simgrid/msg/Semaphore.java b/src/bindings/java/org/simgrid/msg/Semaphore.java
index 4952184..45ffb69 100644 (file)
--- a/src/bindings/java/org/simgrid/msg/Semaphore.java
+++ b/src/bindings/java/org/simgrid/msg/Semaphore.java
@@ -68,12 +68,8 @@ public class Semaphore {
 
        /** Deletes this semaphore when the GC reclaims it */
        @Override
-       protected void finalize() {
-               try {
-                       nativeFinalize();
-               } catch (Throwable e) {
-                       e.printStackTrace();
-               }
+       protected void finalize() throws Throwable {
+               nativeFinalize();
        }
        private native void nativeFinalize();
        /**