Index: scripting/java/build.xml =================================================================== --- scripting/java/build.xml (revision 267031) +++ scripting/java/build.xml (working copy) @@ -108,7 +108,7 @@ - + Index: rhino/rhino1_5R5.patch =================================================================== --- rhino/rhino1_5R5.patch (revision 267031) +++ rhino/rhino1_5R5.patch (working copy) @@ -107,7 +107,7 @@ + } } --- misc/rhino1_5R5/toolsrc/build.xml 2004-03-25 21:54:34.000000000 +0100 -+++ misc/build/rhino1_5R5/toolsrc/build.xml 2009-01-17 20:46:44.000000000 +0100 ++++ misc/build/rhino1_5R5/toolsrc/build.xml 2009-02-17 21:23:50.000000000 +0100 @@ -6,6 +6,24 @@ --> @@ -185,7 +185,7 @@ includes="org/**/*.java" deprecation="on" debug="${debug}"> -+ ++