Upgraded ACE editor to 16th Dec 2012 build - https://github.com/ajaxorg/ace-builds/tree/9f433321a8cca9270753842c2517bd3588354dfe
Upgraded ACE editor to 17th Dec 2012 build - https://github.com/ajaxorg/ace-builds/tree/97bae1d132effbeca5eef8aaef2a2a1fa836b181