IFolder publicFolder = m_module.getModulePublicFolder();
IFolder extFolder = publicFolder.getFolder(new Path("js/ext"));
extractZip(zipFile, extFolder);
}
// add elements into module
DefaultModuleProvider.modify(m_module, new ModuleModification() {
public void modify(ModuleElement moduleElement) throws Exception {
moduleElement.addStylesheetElement("js/ext/resources/css/ext-all.css");
moduleElement.addScriptElement("js/ext/adapter/ext/ext-base.js");
moduleElement.addScriptElement("js/ext/ext-all.js");
moduleElement.addInheritsElement("com.gwtext.GwtExt");