Fix old TODO related to a now-fixed JastAdd bug.
Fix old TODO related to a now-fixed JastAdd bug.

bpilania/Comp621Project,bpilania/Comp621Project,bpilania/Comp621Project,bpilania/Comp621Project,bpilania/Comp621Project,bpilania/Comp621Project,bpilania/Comp621Project