--- jgraph-5.12.1.0/build.xml.orig 2008-10-08 18:17:33.408422159 -0400 +++ jgraph-5.12.1.0/build.xml 2008-10-08 18:18:42.398420965 -0400 @@ -32,6 +32,7 @@ + @@ -107,7 +108,7 @@ ${app.name}v${app.version}