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