Removed redundant helper functions mapsObject a...
Fixed Content class in Map.jml.
Fixed specs for returning enumeration of keys a...
Added specs for Dictionary.jml
Fixed circular reference for hasNext and Iterat...
Updated rules for checking when add and remove ...
Adding boolean checks for add and set in ListIt...
updated comments about various specifications a...
Made several modifications to Collection, Itera...
Improved Auto-completion proposals, can now det...
Eliminated LAST from the list of JML modifiers.