Hello,
are the most part of JML usable with J2ME? Thank you for any question.