missing class declaration in GeoExt.js