Not found: misc/ui/jquery.ui.menu.min.js

* on admin/config/development/jquery_update set CDN=jquery (did not want datasucking google or m$ ;-)
* go to a page where this js is needed (in my case rules "add a new condition" + select "data not empty")

result: js console sais Not found: misc/ui/jquery.ui.menu.min.js

A quick grep shows:
* drupal does not ship that file
* the location is defined in jquery_update_jqueryui_replace()
* the same function does not care for jquery cdn:

  switch ($cdn) {
    case 'google':
      $cdn = 'https://ajax.googleapis.com/ajax/libs/jqueryui/1.10.2/jquery-ui' . $min . '.js';
      jquery_update_jqueryui_cdn($cdn, $javascript, $path, $min, $names);
      jquery_update_jqueryui_backup($javascript, $path, $min);
      break;

    case 'microsoft':
      $cdn = 'http://ajax.aspnetcdn.com/ajax/jquery.ui/1.10.2/jquery-ui' . $min . '.js';
      jquery_update_jqueryui_cdn($cdn, $javascript, $path, $min, $names);
      jquery_update_jqueryui_backup($javascript, $path, $min);
      break;

    case 'none':
      jquery_update_jqueryui_local($javascript, $path, $min, $names);
      break;
  }