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