20170516 india: Nine judges appointed to high courts of Rajasthan; Delhi