xref: /AOO42X/main/hsqldb/patches/script.patch (revision 82fdf3a3840f8efb3c9d3578e5c3e506f80a6e14)