我下载了模型检查器nusmv-tools（https://code.google.com/a/eclipselabs.org/p/nusmv-tools/ ）。我在eclipse上成功安装了它及其依赖项（如xtext）并重新启动了eclipse。
现在，我希望 Eclipse 能够识别 nusmv 文件（扩展名为 '.smv'），但它不能。
我的问题是，我应该怎么做才能在 Eclipse 中解析 nusmv 文件，以便 eclipse 识别并突出显示 nusmv 文件（.smv）。
（我应该创建一个 xtext 项目还是 java 项目或通用项目？我应该将哪些库或外部 jar 添加到项目中？）
有什么帮助吗？谢谢