- /** Time at which the process should be killed.
- *
- * Set at creation, and used internally by SimGrid
- */
- private double killTime = -1;
+ /** Time at which the process should be killed */
+ private double killTime = -1; // Used from the C world