(possibly a no-op - fixed local STS parsing errors that were likely just
confusion of the eclipse parser.)