Quick fix for mjsunit/debug-sourceinfo failure
Quick fix for mjsunit/debug-sourceinfo failure

git-svn-id: b158db1e4b4ab85d4c9e510fdef4b1e8c614b15b@243 ce2b1a6d-e550-0410-aec6-3dcde31c8c00

UniversalFuture/moosh,UniversalFuture/moosh,UniversalFuture/moosh,UniversalFuture/moosh