env.wis.jtlv.regression.smv
Classes 
AllSMVTests
LegacyPromptTC
SMVTestCaseTemplate