Revise mbot specification to exclusively use java collections.  This is
a breaking change.