Do we still need these two lines checked in?  i.e. can they be just added locally when running JSList, and left out of commits?