Lustre Plug-in for Eclipse with JKind Analysis Support