Trac #88: API to specify the session identifier used by the agent.
diff --git a/org.jacoco.doc/docroot/doc/agent.html b/org.jacoco.doc/docroot/doc/agent.html
index 56131d6..2a604ce 100644
--- a/org.jacoco.doc/docroot/doc/agent.html
+++ b/org.jacoco.doc/docroot/doc/agent.html
@@ -100,8 +100,17 @@
<td><code>sun.reflect.DelegatingClassLoader</code></td>
</tr>
<tr>
+ <td><code>sessionid</code></td>
+ <td>A session identifier that is written with the execution data. Without
+ this parameter a random identifier is created by the agent.
+ </td>
+ <td><i>auto-generated</i></td>
+ </tr>
+ <tr>
<td><code>dumponexit</code></td>
- <td>If set to <code>true</code> coverage data will be written on VM shutdown</td>
+ <td>If set to <code>true</code> coverage data will be written on VM
+ shutdown.
+ </td>
<td><code>true</code></td>
</tr>
</tbody>