Fix the whitespace stripper with new sandbox APIs.
Merge pull request #143 from robru/fix_whitespace_stripping_issues

Fix the whitespace stripper with new sandbox APIs. Fixes #142