xref: /AOO41X/main/hsqldb/patches/script.patch (revision 888d597162e5dc97af679bc2cf95e7db77709d5b)