A minor change so the active sequence ID of tasks is restored after
Refactored the code from CMember for determining the accessibility of
Fixed up some javadoc comments.
Added a check for invalid combinations of modifiers in methods. I noticed
Some additional checks for invalid combinations (conflicting meanings)
Minor changes to simplify implementation of functionality in JML.
Improved error message.
Reformatting code to improve indentation and readability.