Add contract for SQLException translation #617