More changes to make these files compatible with WeBWorK2.0 and cached compartments -- Mike
Changed paths: