[patch] The patch that gets applied once the source is unpacked.

fix-search-type.diff (text/plain), 282 bytes, created by Stuart Grimshaw on 2004-11-10 16:28:45 UTC

--- run.sh.old	2004-11-10 22:44:25.143099776 +0000
+++ run.sh	2004-11-10 22:44:41.199658808 +0000
@@ -2,7 +2,7 @@
 
 cd `dirname $0`
 
-if [ -w "./run.jar" ]; then
+if [ -e "./run.jar" ]; then
   java -jar run.jar
 else
   echo "*** ERROR: Missing GenJ resource(s) in "`dirname $0`