[JSR308] Question to use your checkers in JAVA 7 beta

Liu, Jun liuj at navcanada.ca
Mon Apr 20 08:33:19 EDT 2009

Dear Sir,

I was trying your checker plug-in with JAVA 6, and it works well,

But when I install the JAVA 7 beta b55, and try to use your check (
checkers.jar and checkers-quals.jar) to compiler y\the examples in your
check package, I got lots of errors. :-(


Could you please help me out?


1> Does your checkers.jar and checkers-quals.jar work well with Java 7

2> If yes, how to use it in Java 7?






-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20090420/fd7df435/attachment.htm 

More information about the JSR308 mailing list