Synchronized with latest build of Ace, no GWT code changes in this checkin. This code is not the minified version of ACE yet. Can check in minified version later.