This package contains samples of JML specifications relating to tables. These were modified, implemented, and tested by Katie Becker.