Import problems with JML
0 posts in topic
Flat View  Flat View
TOPIC ACTIONS:
 

Posted By:   Ed_Ang
Posted On:   Friday, November 14, 2008 07:22 AM

Hi all,I am using JML for the first time with Eclipse 3.4.1 on Windows XP platform. I get the following error: "The import org.jmlspecs cannot be resolved." I have already downloaded the update for JML, and I realise that I have to change the path variable so that the library can be seen. I have tried many things, including changing the build path etc but none of them seem to work. What are the exact steps involved in solving this problem? Thanks.

About | Sitemap | Contact