Update GeoExt
Merge pull request #600 from camptocamp/edit-null-int

Update GeoExt