Updated CKEditor to version 4.1.2 (June 2013)