Hello world in ExtJS 4