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