Add info about Maven repository to Downloads Index
diff --git a/downloads/index.html b/downloads/index.html
index 721f01f..d220e3a 100644
--- a/downloads/index.html
+++ b/downloads/index.html
@@ -55,7 +55,7 @@
<p>Artifacts of the StatET RJ library are also published to the Maven Repository:</p>
<table class="statet-grid" style="width: 100%">
<colgroup>
- <col class="title" style="width: 12em" />
+ <col class="title" style="width: 15em" />
<col />
</colgroup>
<tbody>
@@ -65,9 +65,9 @@
<th/>
</tr>
<tr>
- <td class="title">Maven Repository</td>
+ <td class="title">Maven Repository (Releases)</td>
<td><code>https://repo.eclipse.org/content/repositories/statet-releases/</code></td>
- <td><a href="https://repo.eclipse.org/#view-repositories;statet-releases~browseindex" target="nexus">Browse</a></td>
+ <td><a href="https://repo.eclipse.org/#view-repositories;statet-releases~browseindex" target="_blank" title="Browse Repository Index">Browse</a></td>
</tr>
</tbody>
</table>