[#3669] Make the code generator's <database/> element optional