changed the overriddenMethodSet method from protected to public - I needed
Fix for bug item #1536165 (using * in a \not_modified expression)
added 2006 FMICS paper on executing JML specifications
adding unit tests for jmle, a tool for executing JML specifications by
adding JCK files for jmle