update to CKEditor 4.1.2