fix filter editing of downloads site page

It was previously done in a pre-maven3 way.
The way it's done now is not nice, since it requires to write the
version number twice into the pom.xml file and update them by hand
in step.  There is probably a better way.

pom.xml

@@ -32,6 +32,15 @@
     <builddocdir>${project.build.directory}/docs</builddocdir>
     <maven.build.timestamp.format>yyyy/MM/dd HH:mm:ss</maven.build.timestamp.format>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+
+    <!-- Set this to the version number, must be updated by hand
+     !   to match pom.currentVersion.
+     !   It's used for filtering into site/xdoc/downloads.xml.vm.
+     !   That filtering module apparently won't cope with embedded "."
+     !   characters in the name, so I can't use pom.currentVersion.
+     !   Even putting ${pom.currentVersion} in the line below doesn't work.
+     !   There may be a less horrible way to do this. -->
+    <jsampVersion>1.3.5</jsampVersion>
   </properties>
 
   <distributionManagement>

src/site/xdoc/downloads.xml → src/site/xdoc/downloads.xml.vm

@@ -11,18 +11,15 @@
 <section name="Downloads">
 
 <dl>
-<dt>Current Version ([SAMP-VERSION]):</dt>
+<dt>Current Version (${jsampVersion}):</dt>
 
 <dd><dl>
     <dt>Unsigned jar file:</dt>
-    <dd><a href="jsamp-[SAMP-VERSION].jar"
-                >jsamp-[SAMP-VERSION].jar</a></dd>
+    <dd><a href="jsamp-${jsampVersion}.jar"
+                >jsamp-${jsampVersion}.jar</a></dd>
     <dt>Signed jar file:</dt>
-    <dd><a href="jsamp-[SAMP-VERSION]_signed.jar"
-                >jsamp-[SAMP-VERSION]_signed.jar</a></dd>
-    <dt>Sources zip file:</dt>
-    <dd><a href="jsamp_src-[SAMP-VERSION].zip"
-                >jsamp_src-[SAMP-VERSION].zip</a></dd>
+    <dd><a href="jsamp-${jsampVersion}_signed.jar"
+                >jsamp-${jsampVersion}_signed.jar</a></dd>
     </dl>
     </dd>