some ExtJS fix
some Java patches