https://sourceforge.net/p/java-jml/feature-requests/5/Recent changes to 5: Switch away from Cindy to MINAenFri, 22 Jun 2007 15:08:04 -0000https://sourceforge.net/p/java-jml/feature-requests/5/<div class="markdown_content"><p>MINA is a very nicely established framework that many projects use. I'd like to switch to it not only because it seems to have active support and a -large- user base, but also because switching to it increases the likelihood that the person using this API won't have to include -yet another- library. =) (in other words, they might already be using MINA, it's not likely that they're already using cindy)</p></div>Daniel HenningerFri, 22 Jun 2007 15:08:04 -0000https://sourceforge.netb8bc22b911399f91de78b135a034cd6a34cb1dc6