+ <!-- finally, replace any launchApp servlet tags with a version specification -->
+ <replace value="http://www.jalview.org/services/launchApp?version=${JALVIEW_VERSION}"">
+ <replacetoken><![CDATA[http://www.jalview.org/services/launchApp"]]></replacetoken>
+ <fileset dir="${packageDir}/examples">
+ <include name="**/*.html"/>
+ </fileset>
+ </replace>
+ <replace value="http://www.jalview.org/services/launchApp?version=${JALVIEW_VERSION}'">
+ <replacetoken><![CDATA[http://www.jalview.org/services/launchApp']]></replacetoken>
+ <fileset dir="${packageDir}/examples">
+ <include name="**/*.html"/>
+ </fileset>
+ </replace>
+