The Java Annotation Checker =========================== v0.3 Release Notes ------------------ Lots of bug fixes! The schemas provided for the standard library are now more complete for java/lang, java/io and java/util. v0.2 Release Notes ------------------ Some small bug fixes regarding a problem encountered with parsing classes in the default package which lead to an "InternalError: parse error at ..." kind of message. v0.1 Release Notes ------------------ This is the first release of Jack. However, the tool is still in a relatively early stage and, as such, is not intended for general consumption. There are certainly numerous bugs and user interface issues yet to be resolved. Nevertheless, we have used the tool to check several sizeable programs and, with some perseverence, it will work :) Please note: the schema files included in this distribution DO NOT REFLECT the best knowledge we have about the standard libraries. For various reasons, we annotated the standard libraries directly (so we could check them) and we are working on transferring those annotations over.