Merged r 1256:1257 from hyracks_isolation

git-svn-id: https://hyracks.googlecode.com/svn/branches/hyracks_dev_next@1258 123451ca-8445-de46-9d55-352943316053