title: Parsing smv files in eclipse
body: <p>I download nusmv-tools(<a href="https://code.google.com/a/eclipselabs.org/p/nusmv-tools/" rel="nofollow">https://code.google.com/a/eclipselabs.org/p/nusmv-tools/</a>) which is a model checker.
  I installed it and its dependencies(such as xtext)on eclipse successfully and restart eclipse.</p>
  
  <p>Now, I expect eclipse recognize the nusmv files (which extensions are '.smv'), however it cannot.</p>
  
  <p>My question is, what should I do in order to make parse nusmv files in eclipse, so that eclipse will recognize and highlight the nusmv file(.smv).</p>
  
  <p>(Should I create an xtext project or java project or general project?
  Which libraries or external jars should I add to the project?)</p>
  
  <p>Any help?
  Thanks</p>