fixing bug #6124 : removing jquery plugin 'splitter' and using 'resizable' instead (interaction of jQuery UI)