NoClassDefFoundError for class that is on the classpath?

[F Da Costa Gomez]

Hi,

Following the error i get when trying to run a script (from Eclipse 3.0.2)

jmlUnitTestStubs:
     [java] java.lang.NoClassDefFoundError: org/jmlspecs/jmlunit/Main
     [java] Exception in thread "main"

The class is actually *on* the classpath because the following line in echo-ed:
...
C:/eclipse/plugins/org.jmlspecs_1.0.4/jml-release.jar;
C:/eclipse/plugins/org.jmlspecs_1.0.4/jml-specs;

Actually it can be found in the release.jar

The code used to set the classpath is as follows
<snip>
<!-- Set the classpath for the project, include the JML spec-files as well -->
<path id="classpath">
 <pathelement path="${java.class.path}" />
 <fileset dir="${jmlhome}/bin">
  <include name="**/*.jar"/>
 </fileset>
 <fileset dir="${test.dir}">
  <include name="jmlfiles.jar"/>
 </fileset>
</path>
                
<pathconvert property="cp" refid="classpath" dirsep="/" pathsep=";"/>
</snip>

Could anybody point a the right direction to resolve this?

tia,

Fermin DCG

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]