Fla. orange crop estimate increases slightly in June