CoverageTracker and RequiredItems may not belong to Models
separate property accessing model interfaces
escape quotes for when calls in java generator
change test part syntax: use explicit argument lists
use full names "precondition", "focus" etc.
force including focus into test case name
demonstrate use of model from test driver
count each check list element once pro test case
fix goal coverage in generated java