With the creation of the Peravia , San JosÃ de Ocoa was a municipality of that new province . Then , on 6 September 2000 , San JosÃ de Ocoa was made a new province . San JosÃ de Ocoa is a province of the Dominican Republic , and also the name of the province 's capital city .