static public void forceCreationOfNewIndex(){
  forceCreationOfNewIndex(false);
}

static public void forceCreationOfNewIndex ( ) { forceCreationOfNewIndex ( false ) ; }
force creation of a new user index without incrementing version
