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.