..The appended patch fixes the file name, but I'm not sure whether there
are more out-of-date file names...
There were several more, should be fixed now.
I don't know how to ascertain this precisely though, just created a checking script from gump.xml (below FYI).
-Bertrand
<?xml version="1.0" encoding="iso-8859-1"?>
<!-- extract jar names used by blocks from gump.xml to test the filenames -->
<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
><xsl:output method="text" encoding="UTF-8"/>
<xsl:template match="/">
# Execute this script to check that all blocks jars defined in gump.xml exist
<xsl:apply-templates select="//project[starts-with(home/@nested,'src/blocks')]"/>
</xsl:template>
<xsl:template match="project">
<xsl:apply-templates select="jar"/>
</xsl:template><xsl:template match="jar">
<xsl:variable name="jarFile" select="concat(../home/@nested,'/',@name)"/>
file <xsl:value-of select="$jarFile"/>
</xsl:template>
</xsl:stylesheet>
