Newbee to Joe-E

Hi,

So I have the Joe-E plugin installed on eclipse 3.3 and have the
library-2.2.2.jar as an external JAR in the project build path. I also
have the taming database taming-20100421 folder path has been set in
the Joe-E preferences.All these from the commandline-2.2.2download. I
am also able to see the "Enable Joe-E verifier" option for a sample
project.

However, when I enable the verifier not a single warning message is
generated, this is even when I write a sample program mentioned in the
Joe-E specification (the one in which an exception contains a
capability).

I am not sure what is wrong. Any help will be greatly appreciated.

Thanks,
Sam.