Trac #95: Remove element type "SESSION", rename style "session" to "report".
diff --git a/org.jacoco.doc/docroot/doc/.resources/doc.css b/org.jacoco.doc/docroot/doc/.resources/doc.css
index 99b76be..7ffc25a 100644
--- a/org.jacoco.doc/docroot/doc/.resources/doc.css
+++ b/org.jacoco.doc/docroot/doc/.resources/doc.css
@@ -29,9 +29,9 @@
   color:#a0a0a0;

 }

 

-.el_session {

+.el_report {

   padding-left:18px;

-  background-image:url(session.gif);

+  background-image:url(report.gif);

   background-position:left center;

   background-repeat:no-repeat;

 }

diff --git a/org.jacoco.doc/docroot/doc/.resources/session.gif b/org.jacoco.doc/docroot/doc/.resources/report.gif
similarity index 100%
rename from org.jacoco.doc/docroot/doc/.resources/session.gif
rename to org.jacoco.doc/docroot/doc/.resources/report.gif
Binary files differ
diff --git a/org.jacoco.doc/docroot/doc/agent.html b/org.jacoco.doc/docroot/doc/agent.html
index 6a81a17..4318cf5 100644
--- a/org.jacoco.doc/docroot/doc/agent.html
+++ b/org.jacoco.doc/docroot/doc/agent.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Java Agent</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Java Agent</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/ant.html b/org.jacoco.doc/docroot/doc/ant.html
index b0e5c58..a4c4d07 100644
--- a/org.jacoco.doc/docroot/doc/ant.html
+++ b/org.jacoco.doc/docroot/doc/ant.html
@@ -5,13 +5,14 @@
   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

   <link rel="stylesheet" href="../coverage/.resources/prettify.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <script type="text/javascript" src="../coverage/.resources/prettify.js"></script>

   <title>JaCoCo - Ant Tasks</title>

 </head>

 <body onload="prettyPrint()">

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Ant Tasks</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/api.html b/org.jacoco.doc/docroot/doc/api.html
index 8693e85..df8a160 100644
--- a/org.jacoco.doc/docroot/doc/api.html
+++ b/org.jacoco.doc/docroot/doc/api.html
@@ -4,14 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

-  <link rel="stylesheet" href="../coverage/.resources/prettify.css" charset="ISO-8859-1" type="text/css" />

-  <script type="text/javascript" src="../coverage/.resources/prettify.js"></script>

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - API Usage Examples</title>

 </head>

-<body onload="prettyPrint()">

+<body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">API Usage Examples</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/build.html b/org.jacoco.doc/docroot/doc/build.html
index 498dbb1..90f30c9 100644
--- a/org.jacoco.doc/docroot/doc/build.html
+++ b/org.jacoco.doc/docroot/doc/build.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Build</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Build</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/changes.html b/org.jacoco.doc/docroot/doc/changes.html
index df0e3ee..8f942a9 100644
--- a/org.jacoco.doc/docroot/doc/changes.html
+++ b/org.jacoco.doc/docroot/doc/changes.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Change History</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Change History</span>

 </div>

@@ -34,6 +35,7 @@
   <li>Added <code>sessionid</code> to agent options (Trac #88).</li>

   <li>Additional and modified methods in <code>IRuntime</code> to produce

       session information (Trac #88).</li>

+  <li>Coverage element type <code>SESSION</code> removed (Trac #95).</li>

 </ul>

 

 <h2>Release 0.3.3 (2010/04/19)</h2>

diff --git a/org.jacoco.doc/docroot/doc/conventions.html b/org.jacoco.doc/docroot/doc/conventions.html
index d2dd190..e691cf4 100644
--- a/org.jacoco.doc/docroot/doc/conventions.html
+++ b/org.jacoco.doc/docroot/doc/conventions.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Development Conventions</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Development Conventions</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/counters.html b/org.jacoco.doc/docroot/doc/counters.html
index 016d461..133c865 100644
--- a/org.jacoco.doc/docroot/doc/counters.html
+++ b/org.jacoco.doc/docroot/doc/counters.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Coverage Counter</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Coverage Counters</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/empty.html b/org.jacoco.doc/docroot/doc/empty.html
index 40a8795..767e7b8 100644
--- a/org.jacoco.doc/docroot/doc/empty.html
+++ b/org.jacoco.doc/docroot/doc/empty.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - XXX TITLE XXX</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <span class="el_source">Title</span>

 </div>

 <div id="content"> 

diff --git a/org.jacoco.doc/docroot/doc/environment.html b/org.jacoco.doc/docroot/doc/environment.html
index 47e07c5..31efdd3 100644
--- a/org.jacoco.doc/docroot/doc/environment.html
+++ b/org.jacoco.doc/docroot/doc/environment.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Development Environment</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Development Environment</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/epl-v10.html b/org.jacoco.doc/docroot/doc/epl-v10.html
index 7db918b..003d974 100644
--- a/org.jacoco.doc/docroot/doc/epl-v10.html
+++ b/org.jacoco.doc/docroot/doc/epl-v10.html
@@ -4,6 +4,7 @@
 <head>
   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />
+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />
   <title>JaCoCo - Eclipse Public License - Version 1.0</title>
 <style type="text/css">
   p.list {
@@ -16,7 +17,7 @@
 <body>
 
 <div class="breadcrumb">
-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;
+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;
   <span class="el_source">Eclipse Public License - Version 1.0</span>
 </div>
 <div id="content">
diff --git a/org.jacoco.doc/docroot/doc/flow.html b/org.jacoco.doc/docroot/doc/flow.html
index 220d9ed..f4bbb45 100644
--- a/org.jacoco.doc/docroot/doc/flow.html
+++ b/org.jacoco.doc/docroot/doc/flow.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Control Flow Analysis</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Control Flow Analysis</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/implementation.html b/org.jacoco.doc/docroot/doc/implementation.html
index 6abe05a..aa1ffdf 100644
--- a/org.jacoco.doc/docroot/doc/implementation.html
+++ b/org.jacoco.doc/docroot/doc/implementation.html
@@ -5,13 +5,14 @@
   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

   <link rel="stylesheet" href="../coverage/.resources/prettify.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <script type="text/javascript" src="../coverage/.resources/prettify.js"></script>

   <title>JaCoCo - Implementation Design</title>

 </head>

 <body onload="prettyPrint()">

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Implementation Design</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/index.html b/org.jacoco.doc/docroot/doc/index.html
index ad63e50..e8b2686 100644
--- a/org.jacoco.doc/docroot/doc/index.html
+++ b/org.jacoco.doc/docroot/doc/index.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Documentation</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <span class="el_group">Documentation</span>

 </div>

 <div id="content"> 

diff --git a/org.jacoco.doc/docroot/doc/license.html b/org.jacoco.doc/docroot/doc/license.html
index ecf5e94..62dfb18 100644
--- a/org.jacoco.doc/docroot/doc/license.html
+++ b/org.jacoco.doc/docroot/doc/license.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - License</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <span class="el_source">License</span>

 </div>

 <div id="content"> 

diff --git a/org.jacoco.doc/docroot/doc/mission.html b/org.jacoco.doc/docroot/doc/mission.html
index de15dc9..64ee223 100644
--- a/org.jacoco.doc/docroot/doc/mission.html
+++ b/org.jacoco.doc/docroot/doc/mission.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Mission</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Mission</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/support.html b/org.jacoco.doc/docroot/doc/support.html
index 633a80c..fbecada 100644
--- a/org.jacoco.doc/docroot/doc/support.html
+++ b/org.jacoco.doc/docroot/doc/support.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Support and Feedback</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Support and Feedback</span>

 </div>

diff --git a/org.jacoco.doc/docroot/doc/team.html b/org.jacoco.doc/docroot/doc/team.html
index 12a07f6..b88de1f 100644
--- a/org.jacoco.doc/docroot/doc/team.html
+++ b/org.jacoco.doc/docroot/doc/team.html
@@ -4,12 +4,13 @@
 <head>

   <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />

   <link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />

+  <link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />

   <title>JaCoCo - Team</title>

 </head>

 <body>

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Team</span>

 </div>