[sre] Synchronizing JdkExecutorService.

see #470 see #546 Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Jan 25, 2017 · 76e9b58 · 76e9b58
1 parent 1b4e2c9
commit 76e9b58
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...sproject.plugin/src/io/janusproject/kernel/services/jdk/executors/JdkExecutorService.java b/...sproject.plugin/src/io/janusproject/kernel/services/jdk/executors/JdkExecutorService.java
@@ -41,6 +41,8 @@
 /**
  * Platform service that supports the execution resources.
  *
+ * <p>This service is thread-safe.
+ *
  * @author $Author: srodriguez$
  * @author $Author: ngaud$
  * @author $Author: sgalland$