Judicial holiday for lawyers set July 16 to August 31