xref: /AOO42X/main/hsqldb/patches/script.patch (revision cbe561cd9ca100a2771f42dbcaedfb163ebe66b1) !