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