java web framework, JFinal derivatives, integrate ExtJS conveniently