Issue 591: Updated initial commit
Issue 647: Updated initial commit
Merge pull request #743 from sanai56967/647

#743: pull request Issue 647: Updated initial commit
Issue 591: code review changes
#720 Clarified contract for MkStorage locking
#720 Updated Javadoc as per review comment
Merge pull request #742 from sanai56967/591

#742: pull request Issue 591: Updated initial commit
Merge pull request #746 from carlosmiranda/720

#746: pull request #720 Clarified contract for MkStorage locking
#master: 0.8
Merge remote-tracking branch 'upstream/master'