1The Scripting Framework makes use of the Rhino (http://www.mozilla.org/rhino/) 2JavaScript interpreter, available under the Mozilla Public License 3(http://www.mozilla.org/MPL/MPL-1.1.html). 4 5In addition, to support the debugging of scripts contained in OpenOffice.org 6documents, we have modified the Java source file Main.java. 7 8The Rhino source tarball is unpacked and patched with the modified code. The 9Rhino Jar file (js.jar) is then built and delivered to the solver. The file 10rhino1_7R3.patch contains the changes made in order to build Rhino. The patch 11was generated using the command: diff -wurN 12