Explicit versions of the jquery and jquery.ui.