what is the best time to prune trees in san jose