Interesting question. Ext JS 2.0.2 is the last version of Ext JS that is available as LGPL.
So this makes it possible to use the Activiti Modeler in commercial applications as well.
If we would switch to Ext JS 4.x this means that it's only free to use in open source projects.
So right now we don't have plans to move to Ext JS 4.x. However I'm definitely interested if someone would take the time to migrate it to Ext JS 4.x.
Best regards,