Configuration de JML(Java Modeling Language) sous windows

Bonjour tout le monde
s'il vous plait aidez moi :cry:
je cherche comment configurer le JML sous windows
j'ai essayé au maximum de trouver une solution à ça et c tjr sans résultat, mais je vous cache pas que j'ai trouvé un tuto de configuration jml eclipse mais toujours lorsque j'execute le programme via l'eclipse avec jmlrac il me donne des erreurs genre :

java.lang.NoSuchMethodError: main
Exception in thread "main"

'Launching Main' has encountered a problem.
Error building project, cannot launch.

An exception stack trace is not available.

eclipse.buildId=unknown
java.version=1.6.0_10
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=fr_FR
Framework arguments: -product org.eclipse.epp.package.jee.product
Command-line arguments: -os win32 -ws win32 -arch x86 -product org.eclipse.epp.package.jee.product

:oops: c fatiguant!

Merci!
Bien Cordialement,