Recent changes to 14: Add support for MPOP

Recent changes to 14: Add support for MPOPhttps://sourceforge.net/p/java-jml/feature-requests/14/2011-08-19T16:10:57ZRecent changes to 14: Add support for MPOPAdd support for MPOP2011-08-19T16:10:57Z2011-08-19T16:10:57ZAnonymoushttps://sourceforge.net/u/userid-None/https://sourceforge.net3654d64c488ca31f65c70a2fcbe61fc2184423c9

<div class="markdown_content"><p>It would offer more usability to have MPOP.</p></div>