replaced images (new jqueryui version)
Implementation halproxies review, jquery 1.10.3, jqueryui 1.10.3
new images for jquery theme, js, css
launchers
Merge branch 'master' of ssh://github.com/cstb/cstbox into design-review
replaced weblets_settings by ui_modules dict, added webui_modules for general usage
factorized ajax queries
expose cstbox_ajax_ API for non jquery functions
cleanup
made all fields of Tool parameterized
Made validate jquery plugin i18n
add x86 target
corrected devcfg null, usermg problem of char length,
driver uses direct java object in c
usermg counts number of chars
graphical pb
added amassoc to usermg
indent
added threading to jni_hl
debug info