GeoExt and extjs4.1.1