Updated the ACE editor to version 1.1.6 (see #7278)