Workaround for EXTJS-15054 in ExtJS 4.2.3