Eclipse plug-in tool to verify SQL triggers.