More renaming env to process/servlet#1563

carolineechen wants to merge 2 commits intomainrun-house/kubetorch:mainfrom

renaming-envrun-house/kubetorch:renaming-envCopy head branch name to clipboard