Sync with cloud9

@lennartcl 
fixes https://github.com/ajaxorg/ace/issues/2282