Some files are cached by the JML2 tools.
Repeated execution might result in
strange errors, see:
http://sourceforge.net/mailarchive/forum.php?thread_name=299981.75775.qm%40web54303.mail.re2.yahoo.com&forum_name=jmlspecs-developers
Either the original problem in the JML2 tools must be fixed or some workaround in the JML2 Eclipse plug-in must be provided.